7.11 Release Notes (letterplace)

NEWS in SINGULAR:LETTERPLACE 4.4.1

News for SINGULAR:LETTERPLACE version 4.4.1

• added support for free bimodules of a fixed rank ( freeAlgebra (letterplace), ncgen)
• several types of monomial orderings become available, among them three types of elimination orderings
• twostd ( twostd (letterplace)), reduce ( reduce (letterplace)) and other functions support subbimodules
• syz ( syz (letterplace)), lift ( lift (letterplace)), liftstd ( liftstd (letterplace)), modulo ( modulo (letterplace)) implemented
• bracket ( bracket) and maxideal ( maxideal) work in Letterplace
• the options redSB, redTail are effective for computations related to Groebner bases
• the options prot, mem are effective for the whole LETTERPLACE subsystem

New libraries:

• fpaprops_lib: Algorithms for properties of quotient algebras ( fpaprops_lib)
• ncHilb.lib: Hilbert functions for non-commutative algebras ( ncHilb_lib)

Changed libraries:

• fpadim.lib: Vector space dimension, basis and Hilbert series for finitely presented algebras ( fpadim_lib), numerous enhancements, partially implemented in the kernel
• freegb.lib: Main initialization and convenience tools ( freegb_lib)

Changes in the kernel/build system:

• SINGULAR:LETTERPLACE is available as the dynamical module
• adaptions/functions for Singular.jl(https://github.com/oscar-system/Singular.jl)

News for SINGULAR:LETTERPLACE version 4-1-2

• fpalgebras.lib: Generation of various algebras in the letterplace case ( fpalgebras_lib)
• ncrat.lib: Manipulating non-commutative rational functions ( ncrat_lib)

Changed/updated libraries:

• freegb.lib: lpDivision, lpPrint ( freegb_lib)
• fpadim.lib ( fpadim_lib)
• ncfactor.lib ( ncfactor_lib) is available for Letterplace rings

Changes in the kernel/build system:

• code for free algebras (letterplace rings) rewritten (using now the standard +,-,*,^,std,...) ( LETTERPLACE)
• new command rightstd ( rightstd (letterplace))
• extended twostd to LETTERPLACE ( twostd (letterplace), twostd (plural))