@menu
* Introduction to simplification::
* Definitions for simplification::
@end menu

@node Introduction to simplification, Definitions for simplification, simplification, simplification
@section Introduction to simplification

@node Definitions for simplification,  , Introduction to simplification, simplification
@section Definitions for simplification

@deffn {Function} facsum (@var{expr}, @var{arg_1}, ..., @var{arg_n})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@defvr {Global variable} nextlayerfactor
THIS ITEM NEEDS TO BE TRANSLATED.
@end defvr

@defvr {Global variable} facsum_combine
THIS ITEM NEEDS TO BE TRANSLATED.
@end defvr

@deffn {Function} factorfacsum (@var{expr}, @var{arg_1}, ... @var{arg_n})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} collectterms (@var{arg_1}, ..., @var{arg_n})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} rempart (@var{expr}, @var{n})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} wronskian ([@var{f_1}, ..., @var{f_n}], @var{x})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} tracematrix (@var{M})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} rational (@code{z})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} nonzeroandfreeof (@var{x}, @var{expr})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} linear (@var{expr}, @var{x})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} gcdivide (@var{p}, @var{q})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} arithmetic (@var{a}, @var{d}, @var{n})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} geometric (@var{a}, @var{r}, @var{n})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} harmonic (@var{a}, @var{b}, @var{c}, @var{n})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} arithsum (@var{a}, @var{d}, @var{n})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} geosum (@var{a}, @var{r}, @var{n})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} gaussprob (@var{x})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} gd (@var{x})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} agd (@var{x})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} vers (@var{x})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} covers (@var{x})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} exsec (@var{x})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} hav (@var{x})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} combination (@var{n}, @var{r})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} permutation (@var{n}, @var{r})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} reduce_consts (@var{expr})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} gcfac (@var{expr})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

@deffn {Function} sqrtdenest (@var{expr})
THIS ITEM NEEDS TO BE TRANSLATED.
@end deffn

