| |||||||||||||
KASH3 Reference Manual | |||||||||||||
| |||||||||||||
FunctionPositiveDefiniteForm
(
seq(elt-alg^mat) S,
elt-ord^rat t
)
->
elt-alg^boo,
elt-alg^mat
Optional Arguments
| |||||||||||||
Built:
Mon Nov 14 21:12:39 UTC 2005 on mackThe KANT Group |