PartialDifferentialOperatorHelper(R, Var)

skpol.spad line 343 [edit on github]

• R: PartialDifferentialRing Var

• Var: OrderedSet

undocumented

diff_map: Var -> R -> R

id_map: Var -> Automorphism R