You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Oct 1, 2021. It is now read-only.
Incorporate methods from Andreas Paffenholz Extension? (al) : partially done, missing: rules for Q_CARTIER_DATA/Q_CARTIER, AMPLE, NEF_-EFFECTIVE_CONE, all .cc-files, RATIONAL_DIVISOR_CLASS_GROUP.PROJECTION, RATIONAL_DIVISOR_CLASS_GROUP.LIFTING, testing of NEF and EFFECTIVE
Should we make this an new application?
Toric Divisors: (al)
Make these subobjects of toric varieties.
ample
semiample
Toric Varieties:
TORIC_IDEAL for affine toric variety: This issue might already be solved for cones, thus it might not be necessary here, but in the polymake_algebra section.
Subvarieties in Toric Varities:
Compute $\Sigma$ regularity as described in Batyrev paper