/usr/lib/open-axiom/input/bags.input is in open-axiom-test 1.5.0~svn3056+ds-1.
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 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 | --Copyright The Numerical Algorithms Group Limited 1994.
a:Stack INT:= stack [1,2,3,4,5]
pop! a
a
push!(9,a)
a
empty? a
b:=empty()$(Stack INT)
empty? b
c:ArrayStack INT:= arrayStack [1,2,3,4,5]
pop! c
c
push!(9,c)
c
empty? c
d:=empty()$(ArrayStack INT)
empty? d
e:Queue INT:= queue [1,2,3,4,5]
dequeue! e
e
enqueue!(9,e)
e
empty? e
f:=empty()$(Queue INT)
empty? f
g:Dequeue INT:= dequeue [1,2,3,4,5]
extractBottom! g
g
insertBottom!(9,g)
g
extractTop! g
g
insertTop!(9,g)
g
empty? g
h:=empty()$(Dequeue INT)
empty? h
i:Heap INT := bag [1,6,3,7,5,2,4]
insert!(10,i)
i
max i
extract! i
i
heapsort x ==
empty? x => []
cons(extract! x,heapsort x)
heapsort i
|