1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
needsPackage "NumericalAlgebraicGeometry"
needs "../benchmarks.m2"
NAGtrace 1
for predictor in {RungeKutta4,Tangent,Euler} do (
(S,T,solsS) = smallExample();
M = track(S,T,solsS, gamma=>0.6+0.8*ii, Software=>M2enginePrecookedSLPs, SLP=>HornerForm, Predictor=>predictor);
SM = sortSolutions M;
assert areEqual(SM/coordinates, {{-1, 0}, {0, -1}, {0, 1}, {1, 0}} );
)
(S,T,solsS) = smallInfinityExample()
M = track(S,T,solsS, gamma=>0.6+0.8*ii, Software=>M2enginePrecookedSLPs, SLP=>HornerForm);
assert all({0,2}, i->status M#i != Regular)
assert all({1,3}, i->status M#i == Regular)
end
restart
load "NumericalAlgebraicGeometry/TST/SoftwareM2enginePrecookedSLPs.tst.m2"
|
