diff options
Diffstat (limited to 'src/algebra/complet.spad.pamphlet')
| -rw-r--r-- | src/algebra/complet.spad.pamphlet | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/algebra/complet.spad.pamphlet b/src/algebra/complet.spad.pamphlet index d71d3f74..ed071820 100644 --- a/src/algebra/complet.spad.pamphlet +++ b/src/algebra/complet.spad.pamphlet @@ -274,6 +274,10 @@ OnePointCompletion(R:SetCategory): Exports == Implementation where (r:= retractIfCan(x)@Union(R,"failed")) case "failed" =>"failed" rational(r::R) + before?(x,y) == + x case "infinity" => false + y case "infinity" => true + before?(x::R, y::R) @ \section{package ONECOMP2 OnePointCompletionFunctions2} <<package ONECOMP2 OnePointCompletionFunctions2>>= |