PartialDifferentialOperatorHelper(R, Var)ΒΆ
skpol.spad line 345 [edit on github]
R: PartialDifferentialRing Var
Var: OrderedSet
A helper package providing id_map and diff_map for PartialDifferentialOperator.
diff_map: Var -> R -> R
id_map: Var -> Automorphism R