i4 : debugLevel = 1;
|
i5 : D2 = new ToricDivisor from hashTable { 0 => 2, symbol variety => PP2, symbol cache => new CacheTable};
o5 : ToricDivisor on PP2
|
i6 : isWellDefined D2
-- missing key(s): {1, 2}
o6 = false
|
i7 : D3 = new ToricDivisor from hashTable { 0 => 2, 1 => x, 2 => 3, symbol variety => PP2, symbol cache => new CacheTable};
o7 : ToricDivisor on PP2
|
i8 : isWellDefined D3
expected 1-th coefficient to be an integer
o8 = false
|
i9 : D4 = new ToricDivisor from hashTable { 0 => 2, 1 => -7, 2 => 3, symbol variety => 7, symbol cache => new CacheTable};
o9 : ToricDivisor on 7
|
i10 : isWellDefined D4
expected a divisor over a normal toric variety
o10 = false
|
i11 : debugLevel = 0;
|
i12 : assert not isWellDefined D2
|
i13 : assert not isWellDefined D3
|
i14 : assert not isWellDefined D4
|
assumes that the input toric divisor is well-defined.