7.7.1 fpadim_lib Algorithms for quotient algebras in the letterplace case 7.7.2 fpalgebras_lib Generation of various algebras in the letterplace case 7.7.3 fpaprops_lib Algorithms for properties of quotient algebras in letterplace case 7.7.4 freegb_lib Two-sided Groebner bases in free algebras via Letterplace 7.7.5 ncHilb_lib Hilbert functio for non-commutative rings 7.7.6 ncrat_lib nc rational functions