|
D.15.2.9 linearlyEquivalent
Procedure from library divisors.lib (see divisors_lib).
- Usage:
- linearlyEquivalent(A,B); A = divisor, B = divisor.
- Assume:
- A and B are divisors on X.
- Return:
- list if A and B a linearly equivalent and int 0 otherwise.
- Theory:
- Checks whether A-B is principle. If yes, returns a list L=(f,g) where
A - B = (f/g).
Example:
|