isMember(EmbeddedProjectiveVariety,CongruenceOfCurves) -- test membership in a congruence of curves

• Function: isMember

• Usage:

  member(C,f)

• Inputs:
  • C, an embedded projective variety, a curve
  • f, a congruence of curves
• Outputs:
  • a Boolean value, whether the curve $C$ belongs to the congruence $f$