v0.9.0

Oscar v0.9.0

Diff since v0.8.2

A major change is the renaming of many methods from the form isFOO to is_foo; for example, ispgroup now is called is_pgroups. For the time being, both old and new names are accepted, but in a future Oscar release the old names without the underscore will be dropped. So we recommend adjusting your code to the new names.

Closed issues:

• Allow symbols (and chars???) as arguments to free_group (#659)
• isisomorphic cannot compare all groups (#664)
• Make singular_ring remember the grading? (#886)
• "Replacing docs" warnings (#1061)
• Warnings (?) caused by Serialization / Polymake (#1083)
• Polyhedron intersection performance (#1129)
• Manual: describe how to install Oscar on the start page, resp. link to such a description (#1154)
• Manual: start page has a link to "Introduction" which surprisingly links to "Groups: Introduction" (#1155)
• Nicer syntax for entering permutations (#1189)
• doctest failure in AffinePlaneCurve.jl:225-236 (#1192)
• Add instructions to README.md for using development version (#1193)
• Generators of fraction field (#1195)
• Wanted: discrete logarithm for finite field elements (#1205)
• Conversion of cyclotomics from Oscar to GAP not correct (#1213)
• Map from 0-dim vector space does not work correctly (#1219)
• conversino Oscar-> Gap incomplete... (#1237)
• Failure to install Oscar.jl on a clean macOS 12.3.1 install: can't install gap_packages artifact. (#1254)
• ToricVarieties: Various improvements (#1257)
• ToricVarieties: Use IntegerUnion for code improvement (#1280)
• GC crash while allocating GAP object (#1283)
• Matroid code error (#1284)
• hash problem for QabElem (#1287)
• Oscar matrices over non-commutative rings? (#1293)
• Computation of Galois groups for some polynomials raises UndefVarError (#1323)
• Serialization: don't add UUID to symbols (#1325)
• WARNING: could not import Hecke.homology into Oscar (#1328)

Merged pull requests:

• Prefer setting struct fields by passing them to new (#875) (@fingolfin)
• Start central serialization methods (#1000) (@lkastner)
• Work on triangulations (#1111) (@tbrysiewicz)
• Add sparse multivariate polynomial rings to experimental (#1128) (@lgoe-ac)
• bs/matroids (#1142) (@bschroter)
• ToricVarieties: Towards intersection theory (#1146) (@HereAround)
• Improve the various groups libraries (#1169) (@fingolfin)
• first attempt to isomorphism (#1182) (@ThomasBreuer)
• Basics for tropical curves (#1183) (@lkastner)
• bump singular to 0.10 (#1184) (@tthsqe12)
• Version 0.8.3-DEV (#1185) (@thofma)
• Restore some docstrings for AffAlgHom (#1186) (@thofma)
• small changes (#1187) (@wdecker)
• removed bug in hilbert_series_expanded (#1188) (@wdecker)
• Wrap Singular function minbase for homogeneous ideals (#1191) (@joschmitt)
• Basics of tropical linear spaces (#1194) (@lkastner)
• Allow symbols as arguments to free_group (#1196) (@FriedrichRober)
• Fix stabilizer for "large" permutation groups (#1197) (@fingolfin)
• README.md: add a section on how to contribute (#1198) (@fingolfin)
• Further functionality for affine algebras (#1199) (@wdecker)
• Document serialization, introduce issue and pr templates (#1200) (@lkastner)
• fixed an example for all_small_groups (#1201) (@ThomasBreuer)
• Some tweak for matrix groups code (#1202) (@fingolfin)
• Warn in isnormal & ischaracteristic that they do not check for subgroups (#1203) (@fingolfin)
• Cleanup BiPolyArray definition and constructors a bit (#1204) (@fingolfin)
• Start of wrapper for Julia matrices in GAP. (#1206) (@danielrademacher)
• added character parameters and class parameters (#1207) (@ThomasBreuer)
• ToricVarieties: A few minor changes (#1209) (@HereAround)
• Export cleanup (#1210) (@OguzhanYueruek)
• Rel galois (#1211) (@fieker)
• Tropical Geometry documentation improvement (#1212) (@OguzhanYueruek)
• fixed wrong conductor call (#1214) (@ThomasBreuer)
• More on Hilbert functions (#1215) (@wdecker)
• Start free associative ideals (#1216) (@tthsqe12)
• [CI] add julia 1.8, remove nightly on macos (#1218) (@benlorenz)
• extended multi Hilbert series and other stuff (#1220) (@wdecker)
• Remove local orderings as default_ordering for graded rings (#1221) (@joschmitt)
• various tweaks and poly/number field (#1222) (@fieker)
• Mention community page (#1223) (@lkastner)
• Mention community page + various (#1224) (@lkastner)
• Integrate StraightLinePrograms code (#1225) (@lkastner)
• [CI] reduce job timeout to 2 hours (#1226) (@benlorenz)
• docu snippets for #1191 (#1227) (@wdecker)
• support :indicators and :OD in char. table display (#1228) (@ThomasBreuer)
• Add acting_group(C::GroupConjClass), document some stuff (#1229) (@fingolfin)
• docs: fix cohomCalg:Implementation bib entry (#1231) (@fingolfin)
• Some pedantic docstring tweaks (#1232) (@fingolfin)
• some asserts, some supplements to docu (#1234) (@wdecker)
• Attach topcom directly, serialize toric stuff (#1235) (@lkastner)
• ToricVarieties: Vanishing sets via cohomCalg (#1236) (@HereAround)
• Add conversion from Set{T} to sorted GAP lists (#1238) (@fingolfin)
• Galois cycle (#1239) (@fieker)
• Increase compatbility for halfspace/hyperplane types (#1240) (@alexej-jordan)
• fix missing init (#1241) (@tthsqe12)
• add isomorphism (#1243) (@ThomasBreuer)
• Add coefficient_ring(::MPolyQuo); avoid typeof (#1244) (@fingolfin)
• Change isisomorphic to only return a Bool (#1246) (@fingolfin)
• Improve perfect groups library (#1247) (@fingolfin)
• use new function Singular.LibNormal.isNormal (#1248) (@tthsqe12)
• Subfield lattice (#1250) (@fieker)
• added orthogonal_sign (#1251) (@ThomasBreuer)
• catch a GAP error in invariant_sesquilinear_form (#1252) (@ThomasBreuer)
• cache results of isomorphism (#1253) (@ThomasBreuer)
• admit result GrpAbFinGen for maximal_abelian_quotient (#1256) (@ThomasBreuer)
• Add input validation to some group constructors (#1259) (@fingolfin)
• Code formatting defaults (#1262) (@fingolfin)
• Minor additions and fixes (#1266) (@joschmitt)
• Rename 'Example' section to 'Examples' (#1268) (@fingolfin)
• Improve developer documentation (#1269) (@lkastner)
• small adjustment docu isnormal (#1270) (@wdecker)
• A bug fix and new feature for matroids (#1271) (@bschroter)
• Update to GAP.jl 0.8 (#1272) (@fingolfin)
• [CI] re-enable macos nightly test (#1273) (@benlorenz)
• Rings/mpoly-ideals.jl: ==(I::MPolyIdeal, J::MPolyIdeal), added check for generators before GB computation (#1274) (@YueRen)
• more code and documentation for group characters (#1275) (@ThomasBreuer)
• first step to integrate the group atlas into Oscar (#1276) (@ThomasBreuer)
• Polyhedral geometry/non redundant (#1277) (@alexej-jordan)
• honor --banner=no (and implicitly -q) (#1278) (@lkastner)
• ToricVarieties: Cache rings and ideals (#1279) (@HereAround)
• Enable attribute storing for group products (#1281) (@fingolfin)
• Fix timing bug (#1282) (@lkastner)
• Fix for dual matroids #1284 (#1285) (@bschroter)
• follow-up for pull request #1275 (#1286) (@ThomasBreuer)
• Allow Float as scalar for polyhedra (#1288) (@lkastner)
• Subfield lattice (#1289) (@fieker)
• provide a hash method for QabElem (#1290) (@ThomasBreuer)
• ToricVarieties: More improvements (#1292) (@HereAround)
• Fix 'Oscar.build_doc(;doctest=:fix)' (#1294) (@fingolfin)
• Make doctests faster again (#1298) (@fingolfin)
• Galois doc (#1299) (@fieker)
• rearrange/extend G-set related code (#1300) (@ThomasBreuer)
• provide ZZ(x) and QQ(x) for QabElem (#1301) (@ThomasBreuer)
• Fix bug in loading of polymake objects (#1302) (@lkastner)
• Disable trim_trailing_whitespace in .editorconfig (#1303) (@fingolfin)
• small improvements for group character stuff (#1304) (@ThomasBreuer)
• added iso_oscar_gap(abelian_closure(QQ)) (#1305) (@ThomasBreuer)
• Macro for entering permutations in cycle notation (#1307) (@danielrademacher)
• Start of discrete_log algorithm. (#1308) (@danielrademacher)
• Fix some typos (#1310) (@fingolfin)
• Rename quadratic matrix into square matrix (#1312) (@danielrademacher)
• adjustment multi_hilbert_series, improved docu wrt gradings (#1313) (@wdecker)
• SimplicialComplexes: Propose fix for (co-)homology (#1315) (@lkastner)
• Fix overwritten constructors (#1316) (@fingolfin)
• Enable (de)serialization for arbitrary tuple types (#1317) (@fingolfin)
• Fix "Replacing docs" precompilation warnings (#1318) (@fingolfin)
• add enough stuff to do an AlgCls(Fp) for reps (#1320) (@fieker)
• Add test/Rings/runtests.jl (#1322) (@fingolfin)
• versioninfo: add commit + commit-date (#1324) (@benlorenz)
• Some serialization tweaks (#1326) (@fingolfin)
• PolyhedralGeometry: Improve docstring (#1327) (@lkastner)
• Serialize Symbols; add some tests, minor cleanup (#1329) (@fingolfin)
• Conversions for GrpGen (#1330) (@thofma)
• Update to latest AA/Nemo/Hecke/Singular (#1331) (@fingolfin)
• Adapt to isFOO -> is_FOO changes (#1332) (@fingolfin)
• Experimental MatrixGroup code: remove bad code from <, cleanup (#1333) (@fingolfin)
• Tweak the new @perm macro a bit (#1334) (@fingolfin)
• Resolve #1195 (#1336) (@joschmitt)
• fixed a bug in action_on_blocks (#1338) (@ThomasBreuer)
• TropicalGeometry: underlying polyhedral complex (#1343) (@martapanizzut)
• Adjust ProjEllCrv to EllipticCurve changes (#1344) (@thofma)
• Remove transitive_identification (#1345) (@fingolfin)