CongruenceOfCurves -- the class of all congruences of secant curves to surfaces

Functions and methods returning a congruence of curves:

• detectCongruence -- detect and return a congruence of secant curves to a surface

Methods that use a congruence of curves:

• check(CongruenceOfCurves) -- see check(ZZ,CongruenceOfCurves) -- check that a congruence of curves is well-defined
• check(ZZ,CongruenceOfCurves) -- check that a congruence of curves is well-defined
• CongruenceOfCurves EmbeddedProjectiveVariety -- get the curve of a congruence passing through a point
• CongruenceOfCurves Ideal -- see CongruenceOfCurves EmbeddedProjectiveVariety -- get the curve of a congruence passing through a point
• isMember(EmbeddedProjectiveVariety,CongruenceOfCurves) -- test membership in a congruence of curves
• map(CongruenceOfCurves) -- compute the parameter space of a congruence

For the programmer

The object CongruenceOfCurves is a type, with ancestor classes HashTable < Thing.

The source of this document is in SpecialFanoFourfolds.m2:3320:0.