`Absynth.cstr_algrel`

— MethodGenerate constraints ensuring that p is an algebraic relation.

`Absynth.cstr_cforms`

— MethodGenerate constraints describing the relationship between entries of B and the closed forms.

`Absynth.cstr_init`

— MethodGenerate constraints defining the initial values.

`Absynth.cstr_progress`

— MethodGenerate constraints ensuring that sequence is not constant, i.e. B*B*x0 != B*x0.

`Absynth.cstr_roots`

— MethodGenerate constraints ensuring that the root symbols are roots of the characteristic polynomial of B.

`Absynth.isloopinvariant`

— MethodReturn true if the invariant is a relation among a single loop iteration.