project(AbstractPoint,ZZ) -- project a point

Synopsis

• Function: project

• Usage:

  q = project(p,n)

• Inputs:
  • p, a point
  • n, an integer
• Outputs:
  • q, projection of p to the first n coordinates

Description

Projects a point to the subspace corresponding to the first n coordinates.

i1 : p = point({{1+ii,2.3,2*ii}, ConditionNumber=>1000, ErrorBoundEstimate =>0.01});

i2 : project(p,2)

o2 = {1+ii, 2.3}

o2 : Point

See also

• WitnessSet -- a witness set
• ProjectionDimension -- a witness set