D.15.2.12 evaluateFormalDivisor
Procedure from library
divisors.lib
(see
divisors_lib
).
Usage:
evaluateFormalDivisor(D); D = formal divisor.
Assume:
D is a formal divisor on X.
Return:
a divisor on X
Theory:
Will evaluate the formal sum.
Example:
User manual for
Singular
version 3-1-6, Dec 2012, generated by
texi2html
.