diff options
Diffstat (limited to 'src/algebra/string.spad.pamphlet')
| -rw-r--r-- | src/algebra/string.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/string.spad.pamphlet b/src/algebra/string.spad.pamphlet index 7a370732..48a09e30 100644 --- a/src/algebra/string.spad.pamphlet +++ b/src/algebra/string.spad.pamphlet @@ -103,8 +103,7 @@ Character: OrderedFinite() with concat("\mbox{`", concat(new(1,c)$String, "'}")$String)$String char(s:String) == --- one?(#s) => s(minIndex s) - (#s) = 1 => s(minIndex s) + one?(#s) => s(minIndex s) userError "String is not a single character" upperCase c == @@ -410,8 +409,7 @@ IndexedString(mn:Integer): Export == Implementation where hash(s:$):Integer == n:I := Qsize s zero? n => 0 --- one? n => ord(s.mn) - (n = 1) => ord(s.mn) + one? n => ord(s.mn) ord(s.mn) * ord s(mn+n-1) * ord s(mn + n quo 2) match(pattern,target,wildcard) == stringMatch(pattern,target,CHARACTER(wildcard)$Lisp)$Lisp |