| |||||||||||||
KASH3 Reference Manual | |||||||||||||
| |||||||||||||
FunctionjInvariant
(
seq(elt-fld^com) L
)
->
elt-fld^com
Description | |||||||||||||
Built:
Mon Nov 14 21:12:39 UTC 2005 on mackThe KANT Group |