|
D.15.2.11 makeFormalDivisor
Procedure from library divisors.lib (see divisors_lib).
- Usage:
- makeFormalDivisor(L); L = list.
- Assume:
- L is a list of tuples of an integer and a divisor.
- Return:
- a formal divisor on X
- Theory:
- Represents an integer formal sum of divisors.
Example:
|