Objects of this type are created by detectCongruence.

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

- 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

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