TU-Berlin
→
Inst. f. Mathematik
→
Algebra und Zahlentheorie
→
KASH
→
Documentation
→
Reference Manual
KASH
3
Reference Manual
Documentation
Introduction
Reference Manual
Index
search
Operation
elt-res^pad
x
=
elt-res^pad
y ->
elt-alg^boo
Description
True iff x equals y.
Built: Mon Nov 14 21:12:39 UTC 2005 on mack
The KANT Group