|
D.15.2.19 pdivisorplus
Procedure from library divisors.lib (see divisors_lib).
- Usage:
- pdivisorplus(A ,B); A + B; A = pdivisor, B = pdivisor.
- Assume:
- A and B are polyhedral divisors on X.
- Return:
- a pdivisor on X
- Theory:
- The procedure will add the polyhedral formal sums by doing Minkowski sums.
Example:
|