diff options
Diffstat (limited to 'src/algebra/triset.spad.pamphlet')
| -rw-r--r-- | src/algebra/triset.spad.pamphlet | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/algebra/triset.spad.pamphlet b/src/algebra/triset.spad.pamphlet index 2ddac8a7..50b56350 100644 --- a/src/algebra/triset.spad.pamphlet +++ b/src/algebra/triset.spad.pamphlet @@ -550,8 +550,6 @@ GeneralTriangularSet(R,E,V,P) : Exports == Implementation where member? (p,ts) == member?(p,rep(ts))$LP - unitIdealIfCan() == - "failed"::Union($,"failed") roughUnitIdeal? ts == false |