Oscar.jl 0.8.2 released
18 Mar 2022Today Oscar.jl 0.8.2 has been released.
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 inconsistency (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
forGrpAbFinGen
(#1136) (@ThomasBreuer) - Improve describe(::GAPGroup) and other group related changes (#1137) (@fingolfin)
- added optional argument
check
tohaspreimage
, 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)