1
Stavros Macrakis and I (= we) have released a new version (1.2.03) of Maxima nset.
5
Maxima nset has about 35 user-level functions supporting
6
finite sets, combinatorics, and number theory.
10
Stavros Macrakis and Barton Willis
14
http://www.unk.edu/acad/math/people/willisb/nset-1.2.tar.gz
16
Will it work with my Maxima?
18
We've tested Maxima nset using GCL and Windows and cmucl and Linux.
19
A few things in nset do not work with commercial Macsyma; other than
20
that, we don't know of any Lisp / Maxima combinations that won't
25
As we find bugs, we'll make 1.2.x releases. For Maxima 5.9.1, we
26
recommend that nset 1.2.x replace version nset 1.0. If possible,
27
we recommend that all other set packages be expunged or placed in
28
an out-of-the way place. Additionally, we recommend nset be placed
29
in /share/combinatorics or in a newly created
30
/share/combinatorics/nset directory.
32
What's new in Maxima nset version 1.2.0:
34
(0) We've replaced some algorithms (permutations for one) with
37
(1) We've added about twenty new functions: moebius, disjoin,
38
divisors, makeset, some, every, reduce, multinomial_coeff, belln,
39
stirling1, stirling2, kron_delta, num_partitions,
40
num_distinct_partitions, integer_partitions, rreduce,
41
lreduce, xreduce, set_partitions, tree_reduce.
43
(2) updated user documentation,
45
(3) expanded testing code (test-nset.mac),
47
(4) removed the function dupe -- the functions makelist and makeset
50
(5) removed the function subpowerset and combined its functionality
51
into powerset (using an optional second argument),
53
(6) added note in user documentation about how to allow set input via
54
braces (a requested addition),
56
(7) changed cartesian_product to take zero or more arguments; previously
57
it required one or more arguments,
59
(8) the third argument to extremal_subset must now be either max or min;
60
the third argument no longer has a default value,
62
(9) flatten no longer has a special trap for exponentiation,
64
(10) changed the name of setequality to setequalp.
66
(11) symmdifference now takes zero or more arguments and returns a
67
set of members that are members of exactly one argument. This may
68
not be the only nary extension of a two-argument symmdifference, but
69
it's the most reasonable.
71
(12) Deleted function complement -- we don't have a universal set,
72
so we can't really do the complement only a relative complement.
73
And setdifference(a,b) is a less confusing way to do complement(b,a).
76
Here is a tour of some of the new Maxima nset functions.
81
(C2) makeset(i/j,[i,j],cartesian_product(l,l));
84
(D2) {-, -, -, 1, -, 2, 3}
91
(D4) {1, 2, 4, 7, 14, 28}
95
(C6) every(primep,d4);
98
(C7) integer_partitions(4);
100
(D7) {[1, 1, 1, 1], [1, 1, 2], [1, 3], [2, 2], [4]}
101
(C8) set_partitions(set(a,b));
103
(D8) {{{a}, {b}}, {{a, b}}}
104
(C9) num_partitions(4);
107
(C10) num_distinct_partitions(4);
110
(C11) num_partitions(2003);
112
(D11) 5137130903316893622770745464235084139384928426
115
(D12) 5.137130903316894B45
116
(C13) kron_delta(a,b);
118
(D13) KRON_DELTA(a, b)
122
(C15) makelist(belln(i),i,0,6);
124
(D15) [1, 1, 2, 5, 15, 52, 203]
125
(C16) cardinality(set_partitions(set(1,2,3,4,5,6)));
129
Of course, send bug reports and wish list items to the Maxima nset authors.
b'\\ No newline at end of file'