Functions

  • 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.