difform.lib
constant mod_init
typereturntype
constant diffAlgebra
typereturntype
constant diffAlgebraStructure
typereturntype
constant diffAlgebraCheck
typereturntype
constant diffAlgebraSwitch
typereturntype
constant diffAlgebraGens
typereturntype
constant diffAlgebraUnivDerIdeal
typeidealreturntype
constant diffAlgebraChangeOrd
typelistreturntype
constant diffAlgebraListGen
typelistreturntype
constant diffAlgebraIntToDual
typeintreturntype
constant difformFromPoly
typepolyreturntype
constant difformCoef
typedifformreturntype
constant difformGenToString
typedifformreturntype
constant difformToString
typelist(difformreturntype)
constant difformPrint
typedifformreturntype
constant difformIsGen
typedifformreturntype
constant difformAdd
typedifform(difformreturntype)
constant difformSub
typedifform(difformreturntype)
constant difformNeg
typedifformreturntype
constant difformMul
typedifform(difformreturntype)
constant difformDiv
typedifform(difformreturntype)
constant difformEqu
typedifform(difformreturntype)
constant difformNeq
typedifform(difformreturntype)
constant difformIsBigger
typelist(difform(difformreturntype))
constant difformIsSmaller
typelist(difform(difformreturntype))
constant difformDeg
typedifformreturntype
constant difformIsHomog
typedifformreturntype
constant difformIsHomogDeg
typeint(difformreturntype)
constant difformHomogDecomp
typedifformreturntype
constant difformListCont
typedifform(listreturntype)
constant difformListSort
typelist(listreturntype)
constant difformUnivDer
typepolyreturntype
constant difformDiff
typedifformreturntype
constant derivationFromList
typelistreturntype
constant derivationCheckList
typelistreturntype
constant derivationFromPoly
typepolyreturntype
constant derivationConstructor
typedefreturntype
constant derivationToString
typelist(derivationreturntype)
constant derivationPrint
typederivationreturntype
constant derivationAdd
typederivation(derivationreturntype)
constant derivationSub
typederivation(derivationreturntype)
constant derivationNeg
typederivationreturntype
constant derivationMul
typederivation(derivationreturntype)
constant derivationEqu
typederivation(derivationreturntype)
constant derivationNeq
typederivation(derivationreturntype)
constant derivationEval
typedifform(derivationreturntype)
constant derivationContractionGen
typedifform(derivationreturntype)
constant derivationContraction
typedifform(derivationreturntype)
constant derivationLie
typedifform(derivationreturntype)
constant diffAlgebra_example_1
typereturntype
constant diffAlgebra_example_2
typereturntype
constant diffAlgebra_example_3
typereturntype
constant diffAlgebra_example_4
typereturntype
constant difform_example_1
typereturntype
constant difform_example_2
typereturntype
constant derivation_example_1
typereturntype
constant derivation_example_2
typereturntype
constant derivation_example_3
typereturntype