# Does the Point P lie on Curve C? PtLiesOnCurve:=proc(P,C): ItIsZero (subs({x=P[1],y=P[2]},C)): end:
PtLiesOnCurve:=proc(P,C): ItIsZero (subs({x=P[1],y=P[2]},C)): end:
ItIsZero (subs({x=P[1],y=P[2]},C)): end:
end:
