unapply
, scoping rules, programming
operators, and zero recognition and simplification in Maple.assume
facility. It
includes examples of how assume
is used to solve problems
and how it is integrated into Maple. It also discusses the
limitations of this facility and proposes how Maple should evolve to a
"lastproviso" model of computation.rand
function.Gaia
which is a package that helps count and draw random
combinatorial structures of various sorts.