diff --git a/src/exports.jl b/src/exports.jl
index 410adc1c187d..c06a152c30c9 100644
--- a/src/exports.jl
+++ b/src/exports.jl
@@ -1,13 +1,8 @@
 export *
-export @check
-export @pbw_relations
-export @perm
-export @permutation_group
-export @tropical
-export ANTIC
+export abelian_group
 export AbsAffineAlgebraicSet
-export AbsAffineRationalPoint
 export AbsAffineCurve
+export AbsAffineRationalPoint
 export AbsAffineVariety
 export AbsCoveredCurve
 export AbsCoveredScheme
@@ -19,6 +14,7 @@ export AbsLocalizedRing
 export AbsLocalizedRingElem
 export AbsLocalizedRingHom
 export AbsMultSet
+export absolute_primary_decomposition
 export AbsProjectiveAlgebraicSet
 export AbsProjectiveCurve
 export AbsProjectiveScheme
@@ -26,170 +22,6 @@ export AbsProjectiveVariety
 export AbsSpec
 export AbsSpecMor
 export AbstractAlgebra
-export AffineAlgebraicSet
-export AffineHalfspace
-export AffineHyperplane
-export AffineNormalToricVariety
-export AffineVariety
-export affine_halfspace
-export affine_hyperplane
-export affine_normal_toric_variety
-export algebraic_set
-export AutomorphismGroup
-export AutomorphismGroupElem
-export BorcherdsCtx
-export BettiTable
-export ClosedEmbedding
-export ClosedSubvarietyOfToricVariety
-export CohomologyClass
-export Cone
-export CoveredScheme
-export CoveredSchemeMorphism
-export Covering
-export CoveringMorphism
-export CyclicQuotientSingularity
-export DirectProductGroup
-export Directed
-export DivisorOnTropicalCurve
-export Edge
-export EmptyScheme
-export FPGroup
-export FPGroupElem
-export FreeMod
-export FreeModElem
-export FreeModElem_dec
-export FreeMod_dec
-export FreeModuleHom
-export FreeModuleHom_dec
-export FreeResolution
-export GAP
-export GAPGroupConjClass
-export GAPGroupElem
-export GAPGroupHomomorphism
-export GL
-export GO
-export GSet
-export GU
-export Glueing
-export Graph
-export Graphs
-export GroupConjClass
-export GroupCoset
-export GroupDoubleCoset
-export Halfspace
-export halfspace
-export Hecke
-export HilbertData
-export Hyperplane
-export hyperplane
-export IncidenceMatrix
-export K3Chamber
-export K3_surface_automorphism_group
-export LazyPoly
-export LazyPolyRing
-export LinearHalfspace
-export LinearHyperplane
-export LinearProgram, linear_program
-export linear_halfspace
-export linear_hyperplane
-export Localization
-export MPolyComplementOfKPointIdeal
-export MPolyComplementOfPrimeIdeal
-export MPolyDecRing
-export MPolyDecRingElem
-export MPolyIdeal
-export MPolyLeadingMonOne
-export MPolyLocRing
-export MPolyLocRingElem
-export MPolyLocalizedIdeal
-export MPolyLocalizedRingHom
-export MPolyPowersOfElement
-export MPolyProductOfMultSets
-export MPolyQuoIdeal
-export MPolyQuoLocRing
-export MPolyQuoLocRingElem
-export MPolyQuoLocalizedIdeal
-export MPolyQuoLocalizedRingHom
-export MPolyQuoRing
-export MPolyQuoRingElem
-export MPolyRingElem
-export MPolyRingElemLoc
-export MatrixGroup
-export MatrixGroupElem
-export Matroid
-export MixedIntegerLinearProgram, mixed_integer_linear_program
-export ModuleFP
-export ModuleFPElem
-export ModuleFPHom
-export ModuleOrdering
-export MonomialOrdering
-export Nemo
-export NormalToricVariety
-export OO
-export OSCAR
-export OpenInclusion
-export PBWAlgElem
-export PBWAlgQuo
-export PBWAlgQuoElem
-export PBWAlgRing
-export PcGroup
-export PcGroupElem
-export PermGroup
-export PermGroupElem
-export PointVector
-export PolyhedralComplex, polyhedral_complex
-export PolyhedralFan, polyhedral_fan
-export Polyhedron
-export Polymake
-export PrincipalOpenSubset
-export ProjectiveScheme
-export ProjectiveSchemeMor
-export ProjectiveVariety
-export ProjectiveAlgebraicSet
-export QQ
-export RationalEquivalenceClass
-export RayVector
-export SL
-export SLPoly
-export SLPolyRing
-export SO
-export SU
-export Scheme
-export SchemeMor
-export SemidirectProductGroup
-export SesquilinearForm
-export SimpleGlueing
-export SimplicialComplex
-export Singular
-export Sp
-export Spec
-export SpecMor
-export SpecOpen
-export SpecOpenMor
-export SpecOpenRing
-export SpecOpenRingElem
-export StdSpec
-export SubObjectIterator
-export SubQuoHom
-export SubdivisionOfPoints, subdivision_of_points
-export SubquoModule
-export SubquoModuleElem
-export ToricDivisor
-export ToricDivisorClass
-export ToricLineBundle
-export ToricMorphism
-export ToricVanishingSet
-export TropicalCurve
-export TropicalHypersurface
-export TropicalLinearSpace
-export TropicalSemiring
-export TropicalSemiringMap
-export TropicalVariety
-export Undirected
-export WreathProductGroup
-export ZZ
-export abelian_group
-export absolute_primary_decomposition
 export acting_domain
 export acting_group
 export acting_subgroup
@@ -201,30 +33,39 @@ export add_vertex!
 export add_vertices!
 export adjacent_chamber
 export affine_algebra
+export AffineAlgebraicSet
 export affine_charts
 export affine_cone
 export affine_equation_matrix
 export affine_geometry
+export affine_halfspace
+export AffineHalfspace
 export affine_hull
+export affine_hyperplane
+export AffineHyperplane
 export affine_inequality_matrix
 export affine_normal_toric_variety
+export affine_normal_toric_variety
+export AffineNormalToricVariety
 export affine_open_covering
 export affine_patch
 export affine_patches
 export affine_space
+export AffineVariety
 export alexander_dual
+export algebraic_set
 export all_atlas_group_infos
 export all_blocks
 export all_character_table_names
 export all_cohomologies
 export all_neighbors
+export allow_unicode
 export all_patches
 export all_primitive_groups
 export all_small_groups
 export all_subsets_matroid
 export all_transitive_groups
 export all_triangulations
-export allow_unicode
 export alternating_form
 export alternating_group
 export ambient_coordinate_ring
@@ -240,11 +81,13 @@ export ambient_scheme
 export ambient_space
 export ambient_type
 export anchor_point
-export anti_symmetric_parts
+export ANTIC
 export anticanonical_bundle
 export anticanonical_divisor
 export anticanonical_divisor_class
+export anti_symmetric_parts
 export archimedean_solid
+export as_dictionary
 export as_gset
 export as_perm_group
 export as_polycyclic_group
@@ -255,13 +98,15 @@ export atlas_subgroup
 export augmented_chow_ring
 export aut
 export automorphism_group
+export AutomorphismGroup
+export AutomorphismGroupElem
 export base_curve
 export base_ring
 export base_ring_elem_type
 export base_ring_module
 export base_ring_type
-export base_scheme
 export bases
+export base_scheme
 export basic_patches
 export basis_of_global_sections
 export basis_of_global_sections_via_homogeneous_component
@@ -271,6 +116,7 @@ export betti
 export betti_number
 export betti_numbers
 export betti_table
+export BettiTable
 export billera_lee_polytope
 export binomial_exponents_to_ideal
 export binomial_primary_decomposition
@@ -278,6 +124,7 @@ export bipyramid
 export birkhoff_polytope
 export blocks
 export bond_matroid
+export BorcherdsCtx
 export borcherds_method
 export boundary_lattice_points
 export bring_to_common_denominator
@@ -303,12 +150,13 @@ export chain_complex
 export chain_range
 export chamber
 export character_field
+export characteristic_subgroups, has_characteristic_subgroups, set_characteristic_subgroups
 export character_lattice
 export character_parameters
 export character_table
 export character_to_rational_function
-export characteristic_subgroups, has_characteristic_subgroups, set_characteristic_subgroups
 export charpoly
+export @check
 export chip_firing_move
 export chow_ring
 export circuits
@@ -321,12 +169,10 @@ export class_positions_of_center
 export class_positions_of_derived_subgroup
 export class_positions_of_kernel
 export class_positions_of_pcore
-<<<<<<< HEAD
 export class_positions_of_solvable_residuum
 export ClosedEmbedding
-=======
->>>>>>> 2931c6bc03 (fix ordering of export list)
 export closed_subvariety_of_toric_variety
+export ClosedSubvarietyOfToricVariety
 export closure
 export cm_regularity
 export cobases
@@ -343,6 +189,7 @@ export coefficients
 export coefficients_and_exponents
 export cohomology
 export cohomology_class
+export CohomologyClass
 export cohomology_index
 export cohomology_ring
 export cohyperplanes
@@ -370,6 +217,7 @@ export components
 export compose
 export composition_series
 export cone
+export Cone
 export cone_from_equations
 export cone_from_inequalities
 export cones
@@ -400,8 +248,12 @@ export corresponding_bilinear_form
 export corresponding_quadratic_form
 export covered_projection_to_base
 export covered_scheme
+export CoveredScheme
 export covered_scheme_morphism
+export CoveredSchemeMorphism
+export Covering
 export covering_morphism
+export CoveringMorphism
 export coverings
 export cox_ring
 export cox_variety
@@ -416,6 +268,7 @@ export cyclic_generator
 export cyclic_group
 export cyclic_polytope
 export cyclic_quotient_singularity
+export CyclicQuotientSingularity
 export data
 export decide_du_val_singularity
 export decomposition_matrix
@@ -430,9 +283,9 @@ export degrees_of_generators
 export degrevlex
 export dehomogenization
 export dehomogenization_map
+export deletion
 export del_pezzo_polytope
 export del_pezzo_surface
-export deletion
 export demazure_character
 export denest
 export denominator
@@ -445,24 +298,26 @@ export describe
 export desimulate_valuation
 export det
 export diameter
-export as_dictionary
 export dihedral_group
 export dim
 export dim_of_torusfactor
+export Directed
 export direct_product
+export DirectProductGroup
 export direct_sum
 export direct_sum_components
 export disjoint_union
-export div_left
-export div_left!
-export div_right
-export div_right!
 export divexact
 export divides
 export divisor_class
 export divisor_of_character
+export DivisorOnTropicalCurve
 export divisor_sigma
+export div_left
+export div_left!
 export divrem
+export div_right
+export div_right!
 export dodecahedron
 export domain
 export domain_covering
@@ -473,20 +328,22 @@ export double_dual
 export dst
 export dual_cone
 export dual_continued_fraction_hirzebruch_jung
+export dualgraph
 export dual_matroid
 export dual_subdivision
-export dualgraph
+export Edge
 export edgegraph
 export edges
 export ehrhart_polynomial
-export element_to_homomorphism
 export elementary_symmetric
 export elements
+export element_to_homomorphism
 export eliminate
 export embedding
 export embedding_orthogonal_group
 export empty_covered_scheme
 export empty_covering
+export EmptyScheme
 export epimorphism_from_free_group
 export equidimensional_decomposition_radical
 export equidimensional_decomposition_weak
@@ -494,20 +351,19 @@ export equidimensional_hull
 export equidimensional_hull_radical
 export euler_characteristic
 export euler_phi
+export expand
 export exponent, has_exponent, set_exponent
 export exponents
 export ext
 export extension_field
 export exterior_power
-export expand
-export f_vector
 export face_fan
 export faces
 export facet_indices
 export facet_points
 export facets
-export factor_of_direct_product
 export factorisations
+export factor_of_direct_product
 export fan
 export fano_matroid
 export fano_simplex
@@ -530,32 +386,45 @@ export fixed_field
 export flats
 export forget_decoration
 export forget_grading
+export FPGroup
+export FPGroupElem
 export fraction
-export fraction_field
 export fractional_cut_polytope
 export fractional_ideal
 export fractional_matching_polytope
+export fraction_field
 export frattini_subgroup, has_frattini_subgroup, set_frattini_subgroup
 export free_abelian_group
 export free_extension
 export free_group
+export FreeMod
+export FreeMod_dec
+export FreeModElem
+export FreeModElem_dec
 export free_module
 export free_module_dec
+export FreeModuleHom
+export FreeModuleHom_dec
 export free_resolution
+export FreeResolution
 export free_resolution_via_kernels
 export fundamental_circuit
 export fundamental_cocircuit
 export fundamental_group
 export fundamental_invariants
-export g_vector
+export f_vector
 export galois_group
 export galois_ideal
 export galois_quotient
+export GAP
+export GAPGroupConjClass
+export GAPGroupElem
+export GAPGroupHomomorphism
 export gelfand_tsetlin_polytope
 export gen
-export general_linear_group
 export generalized_jordan_block
 export generalized_jordan_form
+export general_linear_group
 export generating_system
 export generator_matrix
 export generic_fraction
@@ -565,6 +434,8 @@ export gens_of_rational_equivalence_classes
 export geometric_irreducible_components
 export girth
 export gkz_vector
+export GL
+export Glueing
 export glueing_domains
 export glueing_graph
 export glueing_morphisms
@@ -579,7 +450,9 @@ export graded_polynomial_ring
 export grading
 export grading_group
 export graph
+export Graph
 export graph_from_adjacency_matrix
+export Graphs
 export grassmann_pluecker_ideal
 export grid_morphism
 export groebner_basis
@@ -590,9 +463,15 @@ export groebner_basis_with_transformation_matrix
 export groebner_fan
 export groebner_polyhedron
 export group
+export GroupConjClass
+export GroupCoset
+export GroupDoubleCoset
 export gset
-export h_star_polynomial
-export h_vector
+export GSet
+export GU
+export g_vector
+export halfspace
+export Halfspace
 export halfspace_matrix_pair
 export hall_subgroup
 export hall_subgroup_reps
@@ -601,12 +480,13 @@ export has_du_val_singularities
 export has_edge
 export has_nonempty_intersection
 export has_perfect_groups
+export haspreimage
 export has_primitive_groups
 export has_small_groups
 export has_torusfactor
 export has_transitive_groups
 export has_vertex
-export haspreimage
+export Hecke
 export height
 export helper_eta
 export helper_ideal
@@ -615,6 +495,7 @@ export helper_kappa
 export helper_ring
 export hermitian_form
 export hilbert_basis
+export HilbertData
 export hilbert_function
 export hilbert_polynomial
 export hilbert_series
@@ -622,9 +503,6 @@ export hilbert_series_expanded
 export hilbert_series_reduced
 export hirzebruch_surface
 export hom
-export hom_product
-export hom_tensor
-export hom_without_reversing_direction
 export homogeneity_space
 export homogeneity_vector
 export homogeneous_component
@@ -638,30 +516,38 @@ export homology
 export homomorphism_of_semidirect_product
 export homomorphism_of_wreath_product
 export homomorphism_to_element
+export hom_product
+export hom_tensor
+export hom_without_reversing_direction
+export h_star_polynomial
+export h_vector
+export hyperplane
+export Hyperplane
 export hyperplanes
 export hypersurface_complement
 export icosahedron
-export id_hom
 export ideal
 export ideal_membership
 export ideal_of_linear_relations
 export ideal_type
 export identifier
 export identity_map
+export id_hom
 export image
 export image_ideal
 export image_in_Oq
 export images
 export img_gens
 export incidence_matrix
+export IncidenceMatrix
 export inclusion_morphism
 export independent_sets
 export index
 export index_of_gen
 export index_of_leading_term
 export indicator
-export induced_automorphism
 export induce
+export induced_automorphism
 export induced_cyclic
 export induced_ring_ordering
 export induce_shift
@@ -691,8 +577,8 @@ export inverse
 export invert
 export inverted_set
 export irreducible_components
-export irreducible_secondary_invariants
 export irreducibles
+export irreducible_secondary_invariants
 export irrelevant_ideal
 export is_abelian, has_is_abelian, set_is_abelian
 export is_admissible_ordering
@@ -739,15 +625,16 @@ export is_faithful
 export is_fano
 export is_feasible
 export is_finalized
+export isfinite
 export is_finite, has_is_finite, set_is_finite
 export is_finitelygenerated, has_is_finitelygenerated, set_is_finitelygenerated
 export is_finiteorder
 export is_flat
+export is_fulldimensional
 export is_full_direct_product
 export is_full_fp_group
 export is_full_semidirect_product
 export is_full_wreath_product
-export is_fulldimensional
 export is_geometrically_integral
 export is_geometrically_reduced
 export is_global
@@ -785,14 +672,18 @@ export is_nef
 export is_nilpotent, has_is_nilpotent, set_is_nilpotent
 export is_non_zero_divisor
 export is_normal
-export is_normal_subgroup
 export is_normalized_by
+export is_normal_subgroup
+export isometry_group
+export isomorphic_matroid
+export isomorphism
 export is_one
+export isone
 export is_open_embedding
 export is_orbifold
 export is_perfect, has_is_perfect, set_is_perfect
-export is_pgroup_with_prime
 export is_pgroup, has_is_pgroup, set_is_pgroup
+export is_pgroup_with_prime
 export is_pointed
 export is_positively_graded
 export is_primary
@@ -805,6 +696,7 @@ export is_projective_space
 export is_pure
 export is_q_cartier
 export is_q_gorenstein
+export isqrtrem
 export is_quasisimple, has_is_quasisimple, set_is_quasisimple
 export is_quaternion_group, has_is_quaternion_group, set_is_quaternion_group
 export is_radical
@@ -825,6 +717,7 @@ export is_standard_basis
 export is_standard_graded
 export is_strongly_connected
 export is_subset
+export issubset
 export is_supersolvable, has_is_supersolvable, set_is_supersolvable
 export is_surjective
 export is_ternary
@@ -840,22 +733,16 @@ export is_very_ample
 export is_weakly_connected
 export is_welldefined
 export is_zero
+export iszero
 export is_z_graded
 export is_zm_graded
-export isfinite
-export isometry_group
-export isomorphic_matroid
-export isomorphism
-export isone
-export isqrtrem
-export issubset
-export iszero
 export iterate_basis
 export jacobi_ideal
 export jacobi_matrix
 export jacobi_symbol
 export johnson_solid
-export k_skeleton
+export K3Chamber
+export K3_surface_automorphism_group
 export katsura
 export kernel
 export klein_bottle
@@ -863,9 +750,12 @@ export known_class_fusion
 export koszul_complex
 export koszul_homology
 export koszul_matrix
+export k_skeleton
 export labelled_matrix_formatted
 export lattice_points
 export lattice_volume
+export LazyPoly
+export LazyPolyRing
 export leading_coefficient
 export leading_coefficient_and_exponent
 export leading_exponent
@@ -882,24 +772,30 @@ export length
 export letters
 export lex
 export lift
-export lift_homomorphism_contravariant
-export lift_homomorphism_covariant
 export lifted_denominator
 export lifted_numerator
+export lift_homomorphism_contravariant
+export lift_homomorphism_covariant
 export lineality_dim
 export lineality_space
 export linear_equation_matrix
+export linear_halfspace
+export LinearHalfspace
+export linear_hyperplane
+export LinearHyperplane
 export linear_inequality_matrix
+export LinearProgram, linear_program
 export linear_span
 export linear_symmetries
 export link_subcomplex
 export load
 export load_lp
 export load_mps
+export Localization
 export localized_ring
 export loops
-export low_index_subgroup_reps
 export lower_triangular_matrix
+export low_index_subgroup_reps
 export map
 export map_from_character_lattice_to_torusinvariant_weil_divisor_group
 export map_from_picard_group_to_class_group
@@ -910,13 +806,16 @@ export map_from_torusinvariant_weil_divisor_group_to_class_group
 export map_gens_of_chow_ring_to_cox_ring
 export map_on_affine_cones
 export map_range
-export map_word
 export maps_on_patches
+export map_word
 export mat_elem_type
 export mathieu_group
 export matrix_group
+export MatrixGroup
+export MatrixGroupElem
 export matrix_kernel
 export matrix_ordering
+export Matroid
 export matroid_from_bases
 export matroid_from_circuits
 export matroid_from_hyperplanes
@@ -938,9 +837,9 @@ export maximal_normal_subgroups, has_maximal_normal_subgroups, set_maximal_norma
 export maximal_polyhedra
 export maximal_subgroup_reps
 export maximal_subgroups, has_maximal_subgroups, set_maximal_subgroups
-export min_weights
-export minimal_block_reps
+export metadata
 export minimal_betti_table
+export minimal_block_reps
 export minimal_denominators
 export minimal_faces
 export minimal_generating_set
@@ -951,12 +850,19 @@ export minimal_primes
 export minimal_subalgebra_generators
 export minkowski_sum
 export minor
+export min_weights
+export MixedIntegerLinearProgram, mixed_integer_linear_program
+export ModuleFP
+export ModuleFPElem
+export ModuleFPHom
+export ModuleOrdering
 export modulus
 export moebius_mu
 export molien_series
+export monomial_basis
 export monomial_ordering
+export MonomialOrdering
 export monomials
-export monomial_basis
 export mori_cone
 export morphism_from_cox_variety
 export morphism_of_projective_schemes
@@ -964,16 +870,36 @@ export morphism_on_class_group
 export morphism_on_picard_group
 export morphism_on_torusinvariant_cartier_divisor_group
 export morphism_on_torusinvariant_weil_divisor_group
-export morphism_type
 export morphisms
+export morphism_type
 export moved_points, has_moved_points, set_moved_points
+export MPolyComplementOfKPointIdeal
+export MPolyComplementOfPrimeIdeal
+export MPolyDecRing
+export MPolyDecRingElem
 export mpoly_dec_ring_type
 export mpoly_dec_type
+export MPolyIdeal
+export MPolyLeadingMonOne
+export MPolyLocalizedIdeal
+export MPolyLocalizedRingHom
+export MPolyLocRing
+export MPolyLocRingElem
+export MPolyPowersOfElement
+export MPolyProductOfMultSets
+export MPolyQuoIdeal
+export MPolyQuoLocalizedIdeal
+export MPolyQuoLocalizedRingHom
+export MPolyQuoLocRing
+export MPolyQuoLocRingElem
+export MPolyQuoRing
+export MPolyQuoRingElem
+export MPolyRingElem
+export MPolyRingElemLoc
 export mpoly_ring_type
 export mpoly_type
 export mul
 export mul!
-export mult_set_type
 export multi_hilbert_function
 export multi_hilbert_series
 export multi_hilbert_series_reduced
@@ -981,15 +907,12 @@ export multiplication_induced_morphism
 export multiplication_morphism
 export multiplicative_jordan_decomposition
 export multiplicities_eigenvalues
-export n_cones
-export n_connected_components
-export n_maximal_cells
-export n_maximal_cones
-export n_maximal_polyhedra
-export n_nodes
+export mult_set_type
 export name
 export names_of_fusion_sources
 export natural_character
+export n_cones
+export n_connected_components
 export ne
 export nedges
 export nef_cone
@@ -1002,33 +925,39 @@ export negwdeglex
 export negwdegrevlex
 export neighbor_patches
 export neighbors
+export Nemo
 export newton_polytope
 export nfacets
 export ngens
 export nilpotency_class, has_nilpotency_class, set_nilpotency_class
+export n_maximal_cells
+export n_maximal_cones
+export n_maximal_polyhedra
+export n_nodes
 export noether_normalization
+export nonbases
 export non_fano_matroid
 export non_flat_locus
 export non_pappus_matroid
-export nonbases
-export norm_equation
-export norm_equation_fac_elem
 export normal_closure
 export normal_cone
 export normal_fan
+export normalization
+export normalization_with_delta
+export normalize!
+export normalized_volume
+export normalizer
 export normal_subgroup
 export normal_subgroups, has_normal_subgroups, set_normal_subgroups
 export normal_toric_varieties_from_glsm
 export normal_toric_varieties_from_star_triangulations
 export normal_toric_variety
+export NormalToricVariety
 export normal_toric_variety_from_glsm
 export normal_toric_variety_from_star_triangulation
 export normal_vector
-export normalization
-export normalization_with_delta
-export normalize!
-export normalized_volume
-export normalizer
+export norm_equation
+export norm_equation_fac_elem
 export npatches
 export npoints
 export npolyhedra
@@ -1049,12 +978,14 @@ export nv
 export nvertices
 export objective_function
 export omega_group
+export one!
 export on_indeterminates
 export on_lines
 export on_sets
 export on_sets_sets
 export on_tuples
-export one!
+export OO
+export OpenInclusion
 export open_subset_type
 export opposite_algebra
 export opposite_ordering
@@ -1064,29 +995,41 @@ export optimal_vertex
 export orbit_polytope
 export orbit_representatives_and_stabilizers
 export orbits
+export order_field_of_definition
 export order, has_order, set_order
 export orders_centralizers
 export orders_class_representatives
-export order_field_of_definition
 export orders_perfect_groups
 export ordinary_table
 export orthogonal_components
 export orthogonal_group
 export orthogonal_sign
 export oscar
+export OSCAR
 export outneighbors
 export pappus_matroid
 export parallel_extension
 export parent
 export patches
 export pbw_algebra
+export PBWAlgElem
+export PBWAlgQuo
+export PBWAlgQuoElem
+export PBWAlgRing
+export @pbw_relations
 export pc_group
+export PcGroup
+export PcGroupElem
 export pcore
 export perfect_group
 export perfect_group_identification, has_perfect_group_identification
 export perles_nonrational_8_polytope
+export @perm
 export perm
+export PermGroup
+export PermGroupElem
 export permutation
+export @permutation_group
 export permutation_group
 export permutation_matrix
 export permutation_of_terms
@@ -1098,19 +1041,24 @@ export platonic_solid
 export point_coordinates
 export point_matrix
 export points
-export pol_elementary_divisors
+export PointVector
 export polarize
-export poly_type
+export pol_elementary_divisors
 export polyhedra
-export polyhedra_of_dim
+export PolyhedralComplex, polyhedral_complex
 export polyhedral_fan_from_rays_action
+export PolyhedralFan, polyhedral_fan
+export polyhedra_of_dim
 export polyhedron
+export Polyhedron
+export Polymake
 export polynomial
 export polynomial_ring
+export poly_type
 export positive_hull
 export possible_class_fusions
-export power_sum
 export powers_of_element
+export power_sum
 export preimage
 export present_as_cokernel
 export presentation
@@ -1125,27 +1073,33 @@ export primitive_group
 export primitive_group_identification, has_primitive_group_identification
 export primorial
 export principal_extension
+export PrincipalOpenSubset
 export print_constraints
 export product
-export proj_space
 export project_full
 export projection
 export projection_to_base
+export ProjectiveAlgebraicSet
 export projective_general_linear_group
 export projective_geometry
-export projective_orthogonal_group
 export projective_omega_group
+export projective_orthogonal_group
 export projective_plane
 export projective_scheme
+export ProjectiveScheme
+export ProjectiveSchemeMor
 export projective_space
 export projective_special_linear_group
 export projective_special_orthogonal_group
 export projective_special_unitary_group
 export projective_symplectic_group
 export projective_unitary_group
+export ProjectiveVariety
+export proj_space
 export pullback
 export pullback_type
 export pyramid
+export QQ
 export quadratic_form
 export quaternion_group
 export quo
@@ -1153,31 +1107,33 @@ export quotient
 export radical
 export radical_membership
 export rand
+export random_affine_linear_polynomials
 export rand_pseudo
 export rand_spherical_polytope
 export rand_subpolytope
-export random_affine_linear_polynomials
 export rank
 export rank_action
 export rational_equivalence_class
+export RationalEquivalenceClass
 export rational_solutions
 export rational_to_continued_fraction_hirzebruch_jung
 export ray_indices
 export rays
 export rays_modulo_lineality
+export RayVector
 export real_projective_plane
 export real_solutions
 export recession_cone
 export reduce
-export reduce_fraction
-export reduce_with_quotients
-export reduce_with_quotients_and_unit
 export reduced_characteristic_polynomial
 export reduced_groebner_basis
 export reduced_scheme
+export reduce_fraction
+export reduce_with_quotients
+export reduce_with_quotients_and_unit
 export register_morphism!
-export regular_24_cell
 export regular_120_cell
+export regular_24_cell
 export regular_600_cell
 export regular_triangulation
 export regular_triangulations
@@ -1197,10 +1153,10 @@ export restrict_automorphism
 export restrict_automorphism_group
 export restrict_codomain
 export restrict_domain
-export restrict_endomorphism
-export restrict_homomorphism
 export restricted_map
 export restricted_map_type
+export restrict_endomorphism
+export restrict_homomorphism
 export restriction
 export restriction_map
 export restrictions
@@ -1226,17 +1182,20 @@ export saturation_with_index
 export save
 export save_lp
 export save_mps
-export metadata
 export scalar_product
 export scheme
+export Scheme
+export SchemeMor
 export schur_index
 export secondary_cone
 export secondary_invariants
 export secondary_polytope
-export semi_invariants
 export semidirect_product
+export SemidirectProductGroup
+export semi_invariants
 export separating_hyperplanes
 export series_extension
+export SesquilinearForm
 export set_base_scheme!
 export set_commutator!
 export set_conjugate!
@@ -1248,32 +1207,39 @@ export set_ordering
 export set_power!
 export set_relative_order!
 export set_relative_orders!
-export set_theoretic_intersection
 export sets
-export short_right_transversal
+export set_theoretic_intersection
 export shortest_path_dijkstra
+export short_right_transversal
 export show_morphism
 export show_morphism_as_map
 export show_subquo
 export signed_incidence_matrix
+export SimpleGlueing
 export simplex
+export SimplicialComplex
 export simplified_fp_group
 export simplify
+export simplify!
 export simplify_light
 export simplify_with_same_ambient_free_module
-export simplify!
 export simulate_valuation
 export singular
+export Singular
 export singular_assure
 export singular_coeff_ring
 export singular_locus
 export singular_locus_reduced
 export singular_poly_ring
+export SL
+export SLPoly
 export slpoly_ring
+export SLPolyRing
 export small_generating_set
 export small_generating_set, has_small_generating_set, set_small_generating_set
 export small_group
 export small_group_identification, has_small_group_identification
+export SO
 export socle, has_socle, set_socle
 export solvable_radical, has_solvable_radical, set_solvable_radical
 export solve_ineq
@@ -1281,11 +1247,18 @@ export solve_lp
 export solve_milp
 export solve_mixed
 export solve_non_negative
+export Sp
 export spanning_sets
-export spec_open_ring_type
+export Spec
 export special_linear_group
 export special_orthogonal_group
 export special_unitary_group
+export SpecMor
+export SpecOpen
+export SpecOpenMor
+export SpecOpenRing
+export SpecOpenRingElem
+export spec_open_ring_type
 export src
 export standard_basis
 export standard_basis_with_transformation_matrix
@@ -1296,15 +1269,22 @@ export stanley_reisner_ring
 export star_subcomplex
 export star_subdivision
 export star_triangulations
+export StdSpec
 export strongly_connected_components
 export structure_sheaf
 export structure_tropical_jacobian
+export SU
 export sub
 export subalgebra_membership
 export subalgebra_membership_homogeneous
+export SubdivisionOfPoints, subdivision_of_points
 export subgroup_reps
-export subquo_type
+export SubObjectIterator
+export SubQuoHom
+export SubquoModule
+export SubquoModuleElem
 export subquotient
+export subquo_type
 export subscheme
 export support_function
 export syllables
@@ -1319,8 +1299,8 @@ export symplectic_components
 export symplectic_group
 export syz
 export syzygy_generators
-export tangent_space
 export tail
+export tangent_space
 export tensor_product
 export terms
 export tetrahedron
@@ -1328,17 +1308,22 @@ export tighten_simulation
 export to_elementary_symmetric
 export tor
 export toric_divisor
+export ToricDivisor
 export toric_divisor_class
+export ToricDivisorClass
 export toric_ideal
 export toric_identity_morphism
 export toric_line_bundle
+export ToricLineBundle
 export toric_morphism
+export ToricMorphism
 export toric_vanishing_set
+export ToricVanishingSet
 export toric_variety
-export torus # requires a distinction from e.g. an algebraic group
 export torusinvariant_cartier_divisor_group
 export torusinvariant_prime_divisors
 export torusinvariant_weil_divisor_group
+export torus # requires a distinction from e.g. an algebraic group
 export total_degree
 export transform
 export transition_graph
@@ -1351,9 +1336,16 @@ export trivial_divisor
 export trivial_divisor_class
 export trivial_morphism
 export trivial_subgroup, has_trivial_subgroup, set_trivial_subgroup
+export @tropical
+export TropicalCurve
+export TropicalHypersurface
+export TropicalLinearSpace
 export tropical_points
 export tropical_polynomial
+export TropicalSemiring
+export TropicalSemiringMap
 export tropical_variety
+export TropicalVariety
 export truncate
 export turn_denominator_into_polyhedron
 export tutte_connectivity
@@ -1364,6 +1356,7 @@ export underlying_morphism
 export underlying_polyhedral_complex
 export underlying_quotient
 export underlying_scheme
+export Undirected
 export uniform_matroid
 export unit
 export unitary_group
@@ -1374,12 +1367,11 @@ export upper_bound_f_vector
 export upper_bound_g_vector
 export upper_bound_h_vector
 export upper_triangular_matrix
-export v_reduced
 export valuation_of_roots
 export valued_weighted_degree
 export vamos_matroid
-export vanishing_sets
 export vanishing_ideal
+export vanishing_sets
 export variety
 export vector_matrix
 export vector_space_basis
@@ -1394,16 +1386,19 @@ export vf_group
 export visualize
 export volume
 export volume_form
+export v_reduced
 export walls
 export wdeglex
 export wdegrevlex
 export weakly_connected_components
 export weight
-export weight_ordering
 export weighted_projective_space
+export weight_ordering
 export weyl_algebra
 export weyl_vector
 export witt_index
 export wreath_product
+export WreathProductGroup
 export write_as_full
 export write_as_linear_combination
+export ZZ