| |||||||||||||
KASH3 Reference Manual | |||||||||||||
| |||||||||||||
FunctionReduction
(
elt-dvs/fld^fun D,
elt-dvs/fld^fun A
)
->
elt-dvs/fld^fun,
elt-ord^rat,
elt-dvs/fld^fun,
elt-fld^fun
Optional Arguments
Description | |||||||||||||
Built:
Mon Nov 14 21:12:39 UTC 2005 on mackThe KANT Group |