Domain "None" is the top type in type theory:

https://en.wikipedia.org/wiki/Top_type



diff --git a/src/algebra/any.spad b/src/algebra/any.spad
index ada256fe..8a5b00d6 100644
--- a/src/algebra/any.spad
+++ b/src/algebra/any.spad
@@ -6,15 +6,19 @@
 ++ AMS Classification:
 ++ Keywords: none
 ++ Description:
-++    \spadtype{None} implements an universal type, that is type
+++    \spadtype{None} implements the top type (also known as universal type)
+++    in type theory. It is the type
 ++    which can represent values of any normal type. It is mainly
 ++    used in technical situations where such a thing is needed (e.g.
 ++    the interpreter and some of the internal \spadtype{Expression}
 ++    code).

-None() : SetCategory == add
+None() : CoercibleTo OutputForm with
+    eq? : (%, %) -> Boolean
+        ++ eq?(x, y) returns true if x and y are the same object at Lisp Level.
+  == add
     coerce(none : %) : OutputForm == message("NONE")
-    x : % = y : % == EQ(x, y)$Lisp
+    eq?(x, y) == EQ(x, y)$Lisp

 )abbrev package NONE1 NoneFunctions1
 ++ Author:
diff --git a/src/algebra/opalg.spad b/src/algebra/opalg.spad
index 07dd772a..582bdaaf 100644
--- a/src/algebra/opalg.spad
+++ b/src/algebra/opalg.spad
@@ -41,7 +41,6 @@
       ++ makeop should be local but conditional

   Implementation ==> FAB add
-    import from NoneFunctions1(%)
     import from BasicOperatorFunctions1(M)

     Rep := FAB

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to