specializeSystem -- specialize parametric system at a point in the parameter space.

• Usage:

  equations = specializeSystem(p0, PS)

• Inputs:
  • p0, a point, in parameter space
  • PS, an instance of the type System, with parameters as coefficients
  • GS, an instance of the type GateSystem, a gate system with parameters
• Outputs:
  • equations, a list, containing equations of system with parameters specialized at p0
  • G0, an instance of the type GateSystem, the gate system obtained by specializing the parameters of GS

i1 : R = CC[a,b][x,y];

i2 : F = polySystem {a*x+b*y, x^2-y};

i3 : p0 = point {{2,3}};

i4 : specializeSystem(p0,F)

                2
o4 = {2x + 3y, x  - y}

o4 : List