• Direct connection from Singular to OSCAR via Singular.jl:
• Access to the Singular libraries
• Test cases: Primary decomposition and normalization
• Who wants to oversee which library:
• Access to Kernel functionality
• What specifically has to be done for the non-commutative algebra functionality in Plural, Letterplace, etc:
• Necessary Data Structures in OSCAR to wrap the libraries and procedures to be wrapped
• paraplanecurves.lib:
• Data structures:
• Procedures to be wrapped:
• Commutative Algebra and Algebraic Geometry in OSCAR
• Operations on ideals
• Normalization of rings
• Primary Decomposition for ideals
• Algebraic Schemes
• Global geometry
• Interdisciplinary Algorithms
• Subquotient Modules
• Localizations
• Singular/GPI-Space Framework
• Polynomial Solving
• Webpage