5
5
f₁ = y- x^ 2
6
6
f₂ = y- x^ 3
7
7
F = [f₁, f₂]
8
- tsi_polyhedral = solve (F; iterator_only= true , start_system = :polyhedral )
9
- tsi_total_degree = solve (F; iterator_only= true , start_system = :total_degree )
8
+ tsi_polyhedral = solve (F; iterator_only = true , start_system = :polyhedral )
9
+ tsi_total_degree = solve (F; iterator_only = true , start_system = :total_degree )
10
10
11
11
@test isa (tsi_polyhedral, ResultIterator)
12
12
@test isa (tsi_total_degree, ResultIterator)
13
13
14
- @test nsolutions (tsi_polyhedral; only_nonsingular= false , multiple_results= true ) == 3
15
- @test nsolutions (tsi_total_degree; multiple_results= true ) == 1
14
+ @test nsolutions (
15
+ tsi_polyhedral;
16
+ only_nonsingular = false ,
17
+ multiple_results = true ,
18
+ ) == 3
19
+ @test nsolutions (tsi_total_degree; multiple_results = true ) == 1
16
20
@test length (tsi_polyhedral) == 3
17
21
@test length (tsi_total_degree) == 6
18
- @test sum (bitmask (isfinite,tsi_total_degree)) == 3
19
-
22
+ @test sum (bitmask (isfinite, tsi_total_degree)) == 3
23
+
20
24
end
21
25
22
26
@testset " Parameters" begin
23
27
@var x y p
24
28
f₁ = y - x^ 2 + p
25
- f₂ = y - x^ 3 - p
26
- F = System ([f₁, f₂]; variables = [x; y], parameters = [p])
27
- R = solve (F; iterator_only= true , target_parameters = [0 ])
28
-
29
+ f₂ = y - x^ 3 - p
30
+ F = System ([f₁, f₂]; variables = [x; y], parameters = [p])
31
+ R = solve (F; iterator_only = true , target_parameters = [0 ])
32
+
29
33
@test isa (R, ResultIterator)
30
- @test nsolutions (R; only_nonsingular= false , multiple_results= true ) == 3
31
- @test nsolutions (R; multiple_results= true ) == 1
34
+ @test nsolutions (R; only_nonsingular = false , multiple_results = true ) == 3
35
+ @test nsolutions (R; multiple_results = true ) == 1
32
36
@test length (R) == 3
33
37
@test sum (bitmask (isfinite, R)) == 3
34
38
end
35
39
36
40
37
- end
41
+ end
0 commit comments