diff options
Diffstat (limited to 'src/algebra/strap/INTDOM-.lsp')
-rw-r--r-- | src/algebra/strap/INTDOM-.lsp | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/algebra/strap/INTDOM-.lsp b/src/algebra/strap/INTDOM-.lsp index b275668b..a8b6e221 100644 --- a/src/algebra/strap/INTDOM-.lsp +++ b/src/algebra/strap/INTDOM-.lsp @@ -1,6 +1,24 @@ (/VERSIONCHECK 2) +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Shell|) + |INTDOM-;unitNormal;SR;1|)) + +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) + |INTDOM-;unitCanonical;2S;2|)) + +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Pair|) + |INTDOM-;recip;SU;3|)) + +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Boolean|) + |INTDOM-;unit?;SB;4|)) + +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|) + |INTDOM-;associates?;2SB;5|)) + +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|) + |INTDOM-;associates?;2SB;6|)) + (DEFUN |INTDOM-;unitNormal;SR;1| (|x| $) (VECTOR (|spadConstant| $ 7) |x| (|spadConstant| $ 7))) |