
=========== Result is ================
add_polynomials([A,list],[list],[A,list])
add_polynomials([A],[list],[A])
add_polynomials([list],[A,list],[A,list])
add_polynomials([list],[A],[A])
add_polynomials([list],[list],[list])
base([list],[A])
binomial([A],[num],[A])
candidate([atom],[list],[A],[A,B])
classify([list],[A],[atom])
constant([num])
discriminant([num],[num],[num],[num])
equation([num],[atom],[atom])
exponential_offenders([list],[A])
factorize([A,B],[B],[C,list])
factorize([A,B],[B],[C])
factorize([A,B],[B],[list])
factorize([A],[A],[B,list])
factorize([A],[A],[B])
factorize([A],[A],[list])
factorize([A],[B],[C])
free_of([A],[A])
free_of([A],[B])
homog_axiom([atom],[A,B],[A],[A,B])
homog_axiom([atom],[A],[A],[A,num])
is_polynomial([A,num],[A])
is_polynomial([A],[A])
is_polynomial([num],[A])
isolate([list],[A],[A])
isolate([list],[other],[other])
isolax([num],[other],[other])
linear([A,list])
maneuver_sides([num],[other],[other])
member([A],[B,list])
multiple([A,list])
multiply_polynomials([list],[A],[list])
multiply_polynomials([list],[list],[list])
multiply_single([list],[A],[list])
multiply_single([list],[other],[list])
natural_number([num])
occurrence([A],[A],[num])
occurrence([A],[B],[num])
occurrence([num],[A],[B],[C],[C])
occurrence([num],[A],[B],[num],[num])
offenders([A],[B],[list])
pad([list],[list])
parse([list],[A],[list])
polynomial_exponents([list],[A])
polynomial_form([A,B,num],[B],[list])
polynomial_form([A,B],[B],[list])
polynomial_form([A,num],[A],[list])
polynomial_form([A,num],[B],[list])
polynomial_form([A],[A],[list])
polynomial_form([A],[B],[list])
polynomial_normal_form([A,B,num],[B],[list])
polynomial_normal_form([A,B],[B],[list])
polynomial_normal_form([A,num],[A],[list])
polynomial_normal_form([A,num],[B],[list])
polynomial_normal_form([A],[A],[list])
polynomial_normal_form([A],[B],[list])
position([A],[A],[list])
position([num],[A],[B],[list])
quadratic([A,list])
reduced_term([A],[list],[atom],[A,B])
remove_duplicates([list],[list])
remove_zero_terms([list],[list])
rewrite([list],[A],[B],[list])
rewrite([list],[atom],[A],[list])
root([A],[B],[C],[D],[num],[other])
single_occurrence([A],[A])
single_occurrence([A],[B])
solve_equation([other],[A,num],[other])
solve_equation([other],[A],[other])
solve_equation([other],[num],[other])
solve_equation([other],[other],[other])
solve_factors([A,list],[B,num],[other])
solve_factors([A,list],[B],[other])
solve_factors([A,list],[num],[other])
solve_factors([A,list],[other],[other])
solve_polynomial_equation([list],[A],[other])
substitute([A,B,C,other],[list],[B,C,D,other])
substitute([A,B,other],[C,list],[B,D,other])
substitute([A,B,other],[list],[B,C,other])
substitute([A,B],[C,list],[B,D])
substitute([A,B],[list],[B,C])
substitute([A,other],[B,list],[A,other])
substitute([A,other],[B,list],[C,other])
substitute([A,other],[B],[A,other])
substitute([A,other],[list],[A,other])
substitute([A,other],[list],[B,other])
substitute([A],[B,list],[C])
substitute([A],[B],[A])
substitute([A],[list],[B])
substitute([other],[A,list],[other])
substitute([other],[A],[other])
substitute([other],[list],[other])
subterm([A],[A])
subterm([num],[A],[B])
subtract_polynomials([A,list],[list],[A,list])
subtract_polynomials([A],[list],[A])
subtract_polynomials([list],[list],[list])
