Home
last modified time | relevance | path

Searched refs:listsum (Results 1 – 10 of 10) sorted by relevance

/dports/math/reduce/Reduce-svn5758-src/packages/poly/
H A Dhomog.red36 else if listsum caaadr s=listsum caar lastnondomain cadr s
53 else (((td-listsum caar nm) . caar nm) . cdar nm)
68 fs := sf2ss car x; td := listsum caaadr fs;
H A Dtdconv.red157 symbolic procedure listsum l;
159 if null l then 0 else car l+listsum cdr l;
169 s1:=listsum term1; s2:=listsum term2;
H A Dfacform.red198 y := caaar x . listsum caaadr x;
/dports/lang/mosml/mosml-ver-2.10.1/src/dynlibs/interface/
H A Dcside.c144 long listsum(value lst) in listsum() function
181 sum = listsum(tlist); in treesum()
/dports/math/reduce/Reduce-svn5758-src/csl/embedded/
H A Du10.lsp8 (c!:install 'listsum '(listsum) 2149226181802300934)
H A Du48.lsp63 noncomfp1 resimp !*q2f prepf simp sf2ss homogp listsum subs0 ss2sf
H A Du26.lsp43 (c!:install 'termorder '(termorder listsum termorder1)
H A Du28.lsp87 (c!:install 'homogp '(homogp t nil lastnondomain listsum)
/dports/lang/mosml/mosml-ver-2.10.1/src/mosmllib/test/callback/
H A Dcside.c147 long listsum(value lst) in listsum() function
184 sum = listsum(tlist); in treesum()
/dports/math/reduce/Reduce-svn5758-src/csl/generated-c/
H A Dprofile.dat927 (listsum 4359773221243097064 24 36296)
1684 (listsum 4359773221243097064 24 6664)
1814 (listsum 4359773221243097064 24 542040)
2707 (listsum 4359773221243097064 24 35280)
3037 (listsum 4359773221243097064 24 936608)
3865 (listsum 4359773221243097064 24 1248)
5035 (listsum 4359773221243097064 24 20952)
9567 (listsum 4359773221243097064 24 67896)
24746 (listsum 4359773221243097064 24 6632)
27957 (listsum 4359773221243097064 24 3168)
[all …]