diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-30 01:25:46 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-30 01:25:46 +0000 |
| commit | 0c8ae00b89a09dcf8320117d3655e9e50c4796e3 (patch) | |
| tree | eea24cd23f5a676eec5c37b72b44048ee9fafdac /src | |
| parent | c39287d87b632b3582b0e179b08d44dc6c27510f (diff) | |
| download | open-axiom-0c8ae00b89a09dcf8320117d3655e9e50c4796e3.tar.gz | |
* algebra/complet.spad.pamphlet (OnePointCompletion): Define before?.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | src/algebra/complet.spad.pamphlet | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 648f9414..924e3847 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 2009-05-29 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/complet.spad.pamphlet (OnePointCompletion): Define before?. + +2009-05-29 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/algext.spad.pamphlet: Qualify `characteristic'. * algebra/clifford.spad.pamphlet: Likewise. * algebra/complet.spad.pamphlet: Likewise. 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>>= |