|
D.15.2.16 degreeFormalDivisor
Procedure from library divisors.lib (see divisors_lib).
- Usage:
- degreeFormalDivisor(A); A = formaldivisor.
- Assume:
- A is a formaldivisor on X.
- Return:
- The degree of A.
- Theory:
- We compute degrees of the summands and return the weighted sum.
Example:
|