| |||||||||||||
KASH3 Reference Manual | |||||||||||||
| |||||||||||||
FunctionInternalInduce
(
mdl^vec V,
seq() F,
seq() S,
seq() M,
seq() N,
elt-mdl^vec c
)
->
elt-mdl^vec
Description | |||||||||||||
Built:
Mon Nov 14 21:12:39 UTC 2005 on mackThe KANT Group |