A cheater's homotopy between two polynomial systems connects a generic instance to a specific instance. This is similar in function to changeFlags
The example below solves a generic instance of [2 4 6]^3, followed by a cheater homotopy to a real instance.
i1 : R := ZZ; |
i2 : n := 6; |
i3 : m := matrix{{3, 2, 4, 6}}; 1 4 o3 : Matrix ZZ <--- ZZ |
i4 : t := LRtriple(n,m); |
i5 : w := wrapTriplet(t); |
The object LRcheater is a method function with options.