From 9e07dcd91c45bf8b22d932321f5c97e931ffe8ac Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 11 Jun 2009 23:00:40 +0000 Subject: * algebra/: Don't quote '!' at end of names. --- src/algebra/fr.spad.pamphlet | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/algebra/fr.spad.pamphlet') diff --git a/src/algebra/fr.spad.pamphlet b/src/algebra/fr.spad.pamphlet index ebab36e4..578054d4 100644 --- a/src/algebra/fr.spad.pamphlet +++ b/src/algebra/fr.spad.pamphlet @@ -284,7 +284,7 @@ Factored(R: IntegralDomain): Exports == Implementation where SimplifyFactorization x == empty? x => empty() - x := sort_!(LispLessP, x) + x := sort!(LispLessP, x) x := SimplifyFactorization1(first x, rest x) x := sort!(LispLessP, x) x @@ -466,7 +466,7 @@ which causes wrong results as soon as units are involved, for example in as := as * (ucar.associate ** e) if not one?(ucar.canonical) then vl := concat([x.flg, ucar.canonical, x.xpnt], vl) - [mkFF(un, empty()), mkFF(1, reverse_! vl), mkFF(as, empty())] + [mkFF(un, empty()), mkFF(1, reverse! vl), mkFF(as, empty())] unitNormalize u == uca := unitNormal u -- cgit v1.2.3