diff options
Diffstat (limited to 'src/algebra/setorder.spad.pamphlet')
| -rw-r--r-- | src/algebra/setorder.spad.pamphlet | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/algebra/setorder.spad.pamphlet b/src/algebra/setorder.spad.pamphlet index 6b2b67d1..b54ade5c 100644 --- a/src/algebra/setorder.spad.pamphlet +++ b/src/algebra/setorder.spad.pamphlet @@ -68,7 +68,7 @@ UserDefinedPartialOrdering(S:SetCategory): with setOrder(l, h) == setref(llow, removeDuplicates l) setref(lhigh, removeDuplicates h) - void + void() less?(a, b, f) == (u := less?(a, b)) case "failed" => f(a, b) @@ -144,6 +144,8 @@ UserDefinedVariableOrdering(): with <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. +-- Copyright (C) 2007-2010, Gabriel Dos Reis. +-- All rights reserved. -- --Redistribution and use in source and binary forms, with or without --modification, are permitted provided that the following conditions are |