/usr/lib/open-axiom/input/cclass.input is in open-axiom-test 1.4.1+svn~2626-2ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 | -- Input generated from CharacterClassXmpPage
)clear all
cl1 := charClass [char "a", char "e", char "i", char "o", char "u", char "y"]
cl2 := charClass "bcdfghjklmnpqrstvwxyz"
digit()
hexDigit()
upperCase()
lowerCase()
alphabetic()
alphanumeric()
member?(char "a", cl1)
member?(char "a", cl2)
intersect(cl1, cl2)
union(cl1,cl2)
difference(cl1,cl2)
intersect(complement(cl1),cl2)
insert!(char "a", cl2)
remove!(char "b", cl2)
|