TODO

General:

• Documentation
• Licensing (Started/done?)
• MDS (talk to TorDiv authors) (lars)
• Testing
• 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