/usr/share/doc/axiom-doc/hypertex/rcm3720.input is in axiom-hypertex-data 20120501-8.
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 | str2lst(str) == [ord(str.i)-65 for i in 1..#str]
lst2str(lst) == concat [char(lst.i+65)::String for i in 1..#lst]
str2num(str) ==
local strlst
strlst:=[ord(str.i) for i in 1..#str]
return wholeRadix(strlst)$RadixExpansion(256)::INT
num2str(n) ==
local tmp
tmp:=wholeRagits(n::RadixExpansion(256))
return concat [char(tmp.i)::String for i in 1..#tmp]
superIncreasing?(lst) ==
reduce(/\,[lst.i>reduce(+,[lst.j for j in 1..i-1]) for i in 2..#lst])
siSolve(lst,n) ==
local res,m,i
if not superIncreasing?(lst) then error "The list is not super-increasing"
m := n
res := [0 for i in 1..#lst]
for i in #lst..1 by -1 repeat
if lst.i <= m then
res.i := 1
m := m - lst.i
if m = 0 then return res
error "Unsolvable"
subsetsum(L:List(INT),N:INT):List(INT) ==
local x,Y
if N=0 then return([])
if N<0 or #L=0 then return([-1])
for x in L repeat
Y:=subsetsum(remove(x,L),N)
if Y~=[-1] then return(Y)
Y:=subsetsum(remove(x,L),N-x)
if Y~=[-1] then return(cons(x,Y))
return([-1])
|