ToricDivisorClasses.md

CurrentModule = Oscar

Toric Divisor Classes

Introduction

Toric divisor classes are equivalence classes of Weil divisors modulo linear equivalence.

Constructors

General constructors

toric_divisor_class(v::NormalToricVarietyType, class::FinGenAbGroupElem)
toric_divisor_class(v::NormalToricVarietyType, coeffs::Vector{T}) where {T <: IntegerUnion}
toric_divisor_class(td::ToricDivisor)

Addition, subtraction and scalar multiplication

Toric divisor classes can be added and subtracted via the usual + and - operators. Moreover, multiplication by scalars from the left is supported for scalars which are integers or of type ZZRingElem.

Special divisor classes

trivial_divisor_class(v::NormalToricVarietyType)
anticanonical_divisor_class(v::NormalToricVarietyType)
canonical_divisor_class(v::NormalToricVarietyType)

Properties

Equality of toric divisor classes can be tested via ==.

To check if a toric divisor class is trivial, one can invoke is_trivial.

is_effective(tdc::ToricDivisorClass)

Attributes

divisor_class(tdc::ToricDivisorClass)
toric_variety(tdc::ToricDivisorClass)
toric_divisor(tdc::ToricDivisorClass)