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? So far we almost only need things available in "fan", but there are intersections with "ideal" as well.

Toric Divisors: (al)

• 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.

Cyclic quotient singularities:

• Components of versal deformations done
• Representation with continued fractions done
• P-reolution fans done

Subvarieties in Toric Varities:

• Compute $\Sigma$ regularity as described in Batyrev paper
• The TROPICAL_FAN should be a TropicalVariety. The gfan output does not allow proper xml-parsing.