Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Misc refactorings #2359

Merged
merged 9 commits into from
May 9, 2023
Merged

Misc refactorings #2359

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
250719e
[Oscar.jl] Move Rings includes to separate file
lkastner May 9, 2023
6c263ff
[Oscar.jl] Move AlgebraicGeometry includes to separate file
lkastner May 9, 2023
a9d1b2d
[Oscar.jl] Move Groups includes to separate file
lkastner May 9, 2023
b8009a7
[Oscar.jl] Move GAP includes to separate file
lkastner May 9, 2023
40db7a3
[Oscar.jl] Move Modules includes to separate file
lkastner May 9, 2023
2504dc7
Remove '-test' from filenames
lkastner May 9, 2023
530373c
[Oscar.jl] Move versioninfo and build_doc functionality to separate file
lkastner May 9, 2023
77b12e1
Remove unused exports #1964
lkastner May 9, 2023
8ab6e23
[Oscar.jl] Move testsuite helpers to utils.jl
lkastner May 9, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 0 additions & 2 deletions experimental/IntersectionTheory/src/IntersectionTheory.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,6 @@ export abstract_projective_variety
export abstract_variety
export abstract_variety
export betti
export bundle
export bundles
export canonical_bundle
export canonical_class
Expand All @@ -34,7 +33,6 @@ export graph
export intersection_matrix
export l_genus
export line_bundle
export pontryagin
export pontryagin_class
export schubert_class
export schubert_classes
Expand Down
2 changes: 0 additions & 2 deletions experimental/Schemes/CoherentSheaves.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,4 @@
export CoherentSheaf
export DirectSumSheaf
export LineBundle
export PullbackSheaf
export PushforwardSheaf
export cotangent_sheaf
Expand Down
5 changes: 0 additions & 5 deletions experimental/Schemes/CoveredProjectiveSchemes.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,5 @@
export CoveredProjectiveScheme
export ProjectiveGlueing
export _non_degeneration_cover
export as_smooth_lci_of_cod
export as_smooth_local_complete_intersection
export base_covering
export base_glueing
export base_scheme
Expand All @@ -11,10 +8,8 @@ export controlled_transform
export covered_scheme
export empty_covered_projective_scheme
export glueing_type
export prepare_smooth_center
export projective_patches
export strict_transform
export total_transform
export weak_transform

abstract type AbsProjectiveGlueing{
Expand Down
4 changes: 0 additions & 4 deletions experimental/Schemes/IdealSheaves.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,10 +1,6 @@
export IdealSheaf
export covered_patches
export covering
export extend!
export ideal_dict
export ideal_sheaf
export ideal_sheaf_type
export order_on_divisor
export scheme
export subscheme
Expand Down
1 change: 0 additions & 1 deletion experimental/Schemes/Sheaves.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
export AbsPrePreSheaf
export PreSheafOnScheme
export StructureSheafOfRings
export restriction_map
Expand Down
1 change: 0 additions & 1 deletion experimental/Schemes/WeilDivisor.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,6 @@ export coefficient_ring_type
export coefficient_type
export components
export divisor
export ideal_sheaf_type
export in_linear_system
export linear_system
export scheme
Expand Down
1 change: 0 additions & 1 deletion experimental/SymmetricIntersections/HomogeneousPolynomialsActions.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,6 @@ export is_invariant_ideal
export is_semi_invariant_polynomial
export projective_group_action
export pullback
export push_forward
export symmetric_intersections
export underlying_moduli_space_of_modules

Expand Down
7 changes: 7 additions & 0 deletions src/AlgebraicGeometry/AlgebraicGeometry.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
include("Schemes/main.jl")
include("ToricVarieties/JToric.jl")
include("TropicalGeometry/main.jl")
include("Surfaces/K3Auto.jl")
include("Surfaces/SurfacesP4.jl")
include("Miscellaneous/basics.jl")

7 changes: 7 additions & 0 deletions src/GAP/GAP.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
include("wrappers.jl")
include("customize.jl")
include("gap_to_oscar.jl")
include("oscar_to_gap.jl")
include("iso_gap_oscar.jl")
include("iso_oscar_gap.jl")

18 changes: 18 additions & 0 deletions src/Groups/Groups.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
include("types.jl")
include("perm.jl")
include("group_constructors.jl")
include("sub.jl")
include("homomorphisms.jl")
include("cosets.jl")
include("GAPGroups.jl")
include("pcgroup.jl")
include("directproducts.jl")
include("matrices/matrices.jl")
include("matrices/FiniteFormOrthogonalGroup.jl")
include("libraries/libraries.jl")
include("gsets.jl")
include("MatrixDisplay.jl")
include("abelian_aut.jl")
include("spinor_norms.jl")
include("GrpAb.jl")

10 changes: 10 additions & 0 deletions src/Modules/Modules.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
include("ModuleTypes.jl")
include("UngradedModules.jl")
include("homological-algebra.jl")
include("FreeModElem-orderings.jl")
# include("FreeModules-graded.jl")
include("ModulesGraded.jl")
include("module-localizations.jl")
include("local_rings.jl")
include("mpolyquo.jl")

Loading