Module differential

Source

Functionsยง

plan
Creates a linear differential plan, and any predicates that need to be lifted. It also returns the number of new arrangements necessary for this plan.