v0.8.2

Oscar v0.8.2

Diff since v0.8.1

Closed issues:

• Add build option for ASCII/non-ASCII chars (#318)
• Fix nanosoldier failures / fix loading of GAP package ferret (#652)
• Promotion for finite fields (#960)
• describe for free groups and finitely presented groups (#987)
• msolve crashing for non-real solutions (#1040)
• Group homomorphisms without checks (#1098)
• Graded module morphism inconsistency (#1112)
• Inconsistent definition of irreducible secondary invariants (#1121)
• Implement describe(::GrpAbFinGen) (#1132)
• Wrap IsomorphismSimplifiedFpGroup, SimplifiedFpGroup (#1133)
• Something noisy in the groups code (#1141)
• Can we get the more of the small group database? (#1150)
• iso_oscar_gap for Z/nZ missing (#1170)

Merged pull requests:

• add some eye candy and conversions (#840) (@fieker)
• Adjust doctest for describe(G::GAPGroup) (#948) (@fingolfin)
• scalar/coefficient types in Polyhedral Geometry (#1020) (@alexej-jordan)
• Add option to allow unicode output (#1047) (@thofma)
• Maps from multivariate polynomial rings and quotients thereof (#1048) (@thofma)
• Add the minimal_degree option for irreducible representations (#1069) (@thofma)
• create Oscar groups with context (#1094) (@ThomasBreuer)
• support check for group homom. by images (#1101) (@ThomasBreuer)
• Generalize some method (#1102) (@thofma)
• Version 0.8.2-DEV (#1103) (@thofma)
• Force push when deploying docs (#1105) (@thofma)
• Fix typeof(gens(G)) for matrix groups (#1106) (@fingolfin)
• Spinor norms (#1107) (@simonbrandhorst)
• Thomas breuer tb parent (#1108) (@fieker)
• adjust MapFromFunc related code to changes in Hecke (#1109) (@ThomasBreuer)
• Update localizations and schemes. (#1110) (@HechtiDerLachs)
• Fix Graded module morphism incosistency (see #1112) (#1113) (@AlexD97)
• More fixes to satisfy the incoming MapFromFunc changes (#1114) (@thofma)
• ToricVarieties: Rational functionscharacters, basis of line bundle cohomology and construction of toric varieties from triangulations (#1115) (@HereAround)
• Fix bug with wrong number of arguments in triangulations part. (#1116) (@lkastner)
• More bugs in triangulations. (#1117) (@lkastner)
• Graded module morphism inconsistency (see #1112) (#1120) (@AlexD97)
• add Oscar.versioninfo() function and short technical description of oscar architecture (#1122) (@benlorenz)
• Revise secondary invariants (#1123) (@joschmitt)
• Spinor norms documentation formatting. (#1124) (@simonbrandhorst)
• Dictionaries for caching Gröbner bases w.r.t. different monomial orderings (#1125) (@ederc)
• Docs: Introduction for new developers (#1126) (@lkastner)
• [Do not merge] Fix in Modules for new complexes (#1127) (@AlexD97)
• added a new hom method (#1130) (@ThomasBreuer)
• Bump Hecke to 0.13 (#1131) (@thofma)
• More tests for gradings. Corrections. (#1134) (@wdecker)
• Groups: add type assertions to GAP calls, other tweaks (#1135) (@fingolfin)
• added describe for GrpAbFinGen (#1136) (@ThomasBreuer)
• Improve describe(::GAPGroup) and other group related changes (#1137) (@fingolfin)
• added optional argument check to haspreimage, improved an error message (#1138) (@ThomasBreuer)
• support Oscar.is_unicode_allowed in matrix display (#1144) (@ThomasBreuer)
• set GAP info levels to zero when starting Oscar (#1145) (@ThomasBreuer)
• Wolfram (#1147) (@wdecker)
• Bug fix (#1148) (@fieker)
• msolve v0.2.3 (#1149) (@ederc)
• First version of multivariate Hilbert series and more (#1151) (@wdecker)
• Introduce tropical geometry (#1152) (@lkastner)
• towards a sparse abelian closure, requires Hecke (#1153) (@fieker)
• Temporarily disable printing test for julia master (#1156) (@thofma)
• Convert some Array -> Vector (#1157) (@fingolfin)
• doc: adjust cohomCalg:Implementation bibentry (#1158) (@fingolfin)
• Enable matrix orderings (#1160) (@joschmitt)
• Monomial ordering applications (#1161) (@ederc)
• Sanitize input for triangulation computation. (#1162) (@lkastner)
• support univariate rings in Q(t)[x] (#1163) (@tthsqe12)
• Galois progress (#1164) (@fieker)
• polyhedral geometry: added constructions delpezzo and fano_simplex (#1166) (@micjoswig)
• Adjust localizations to proper types for monomial orderings (#1171) (@joschmitt)
• added iso_oscar_gap, iso_gap_oscar for residue rings (#1172) (@ThomasBreuer)
• Purge AlgHom (#1173) (@thofma)
• Version 0.8.2 (#1174) (@thofma)
• add better sieving in the wreath product case (#1175) (@fieker)
• split singular_ring into singular_coeff_ring and singular_poly_ring (#1176) (@tthsqe12)
• adjusting parts of Docu to new homomorphism type, some asserts (#1177) (@wdecker)
• allow the singular function to convert oscar orderings (#1179) (@tthsqe12)
• init=1 (#1180) (@fieker)
• some more fix (#1181) (@fieker)