Skip to content

Commit

Permalink
Move exports to the corresponding experimental project
Browse files Browse the repository at this point in the history
  • Loading branch information
@lgoettgens
lgoettgens committed Feb 21, 2024
1 parent e2c9c73 commit 1e8a597
Show file tree
Hide file tree
Showing 3 changed files with 33 additions and 28 deletions.
6 changes: 6 additions & 0 deletions experimental/MatroidRealizationSpaces/src/MatroidRealizationSpaces.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,3 +11,9 @@ function underlying_scheme(RS::MatroidRealizationSpace{BRT, RT}) where {BRT<:Rin
return RS.underlying_scheme::Spec{BRT, RT}
end

# Exports
export inequations
export is_realizable
export realization
export realization_matrix
export realization_space
27 changes: 27 additions & 0 deletions experimental/Schemes/Schemes.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,33 @@ include("ToricBlowups/methods.jl")

include("DerivedPushforward.jl")

# Exports
export CompleteIntersectionGerm
export HypersurfaceGerm
export MorphismFromRationalFunctions
export SpaceGerm

export ambient_germ
export basis_representation
export complete_intersection_germ
export defining_ring_element
export defining_ring_elements
export elliptic_parameter
export germ_at_point
export has_du_val_singularities
export hypersurface_germ
export ideal_sheaf
export index_of_new_ray
export is_isolated_singularity
export milnor_algebra
export milnor_number
export point
export rational_point_coordinates
export standard_covering
export total_transform
export two_neighbor_step


# Deprecated after 0.15
Base.@deprecate_binding _compute_inherited_glueing _compute_inherited_gluing
Base.@deprecate_binding base_glueing base_gluing
Expand Down
28 changes: 0 additions & 28 deletions src/exports.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,6 @@ export BorcherdsCtx
export ClosedEmbedding
export ClosedSubvarietyOfToricVariety
export CohomologyClass
export CompleteIntersectionGerm
export Cone
export CoveredScheme
export CoveredSchemeMorphism
Expand Down Expand Up @@ -79,7 +78,6 @@ export Halfspace
export Hecke
export HilbertData
export Hyperplane
export HypersurfaceGerm
export IncidenceMatrix
export K3Chamber
export K3_surface_automorphism_group
Expand All @@ -105,7 +103,6 @@ export ModuleFPElem
export ModuleFPHom
export ModuleOrdering
export MonomialOrdering
export MorphismFromRationalFunctions
export Nemo
export NormalToricVariety
export OO
Expand Down Expand Up @@ -148,7 +145,6 @@ export SimpleGluing
export SimplicialComplex
export Singular
export Sp
export SpaceGerm
export Spec
export SpecOpen
export SpecOpenMor
Expand Down Expand Up @@ -228,7 +224,6 @@ export ambient_coordinates
export ambient_dim
export ambient_embedding
export ambient_free_module
export ambient_germ
export ambient_module
export ambient_representative
export ambient_representatives_generators
Expand Down Expand Up @@ -259,7 +254,6 @@ export bases
export basis_of_global_sections
export basis_of_global_sections_via_homogeneous_component
export basis_of_global_sections_via_rational_functions
export basis_representation
export bell
export betti
export betti_number
Expand Down Expand Up @@ -359,7 +353,6 @@ export complement_system, has_complement_system, set_complement_system
export complements
export complete_bipartite_graph
export complete_graph
export complete_intersection_germ
export complex_projective_plane
export components
export compose
Expand Down Expand Up @@ -424,8 +417,6 @@ export default_ordering
export defines_automorphism
export defining_equation
export defining_ideal
export defining_ring_element
export defining_ring_elements
export deginvlex
export deglex
export degree
Expand Down Expand Up @@ -486,7 +477,6 @@ export element_to_homomorphism
export elementary_symmetric
export elements
export eliminate
export elliptic_parameter
export embedding
export embedding_orthogonal_group
export epimorphism_from_free_group
Expand Down Expand Up @@ -572,7 +562,6 @@ export gens, has_gens
export gens_of_rational_equivalence_classes
export geometric_genus
export geometric_irreducible_components
export germ_at_point
export getindex_safe
export girth
export gkz_vector
Expand Down Expand Up @@ -611,7 +600,6 @@ export hall_subgroup
export hall_subgroup_classes
export hall_subgroups
export hall_system, has_hall_system, set_hall_system
export has_du_val_singularities
export has_edge
export has_nonempty_intersection
export has_perfect_groups
Expand Down Expand Up @@ -654,15 +642,13 @@ export hyperplane
export hyperplanes
export hypersimplex
export hypersurface_complement
export hypersurface_germ
export hypertruncated_cube
export icosahedron
export id_hom
export ideal
export ideal_as_module
export ideal_membership
export ideal_of_linear_relations
export ideal_sheaf
export identifier
export identity_map
export image
Expand All @@ -677,15 +663,13 @@ export independent_sets
export index
export index_of_gen
export index_of_leading_term
export index_of_new_ray
export indicator
export induce
export induce_shift
export induced_automorphism
export induced_cyclic
export induced_map_on_exterior_power
export induced_ring_ordering
export inequations
export initial
export inneighbors
export inner_automorphism
Expand Down Expand Up @@ -792,7 +776,6 @@ export is_invariant
export is_inverse_of
export is_invertible
export is_irreducible
export is_isolated_singularity
export is_isomorphic
export is_isomorphic_to_alternating_group, has_is_isomorphic_to_alternating_group, set_is_isomorphic_to_alternating_group
export is_isomorphic_to_symmetric_group, has_is_isomorphic_to_symmetric_group, set_is_isomorphic_to_symmetric_group
Expand Down Expand Up @@ -838,7 +821,6 @@ export is_q_gorenstein
export is_quasisimple, has_is_quasisimple, set_is_quasisimple
export is_quaternion_group, has_is_quaternion_group, set_is_quaternion_group
export is_radical
export is_realizable
export is_reduced
export is_regular
export is_regular_sequence
Expand Down Expand Up @@ -985,8 +967,6 @@ export maximal_polyhedra, maximal_polyhedra_and_multiplicities
export maximal_subgroup_classes, has_maximal_subgroup_classes, set_maximal_subgroup_classes
export maximal_subgroups
export metadata
export milnor_algebra
export milnor_number
export min_revlex_basis_encoding
export min_weights
export minimal_betti_table
Expand Down Expand Up @@ -1158,7 +1138,6 @@ export pitman_stanley_polytope
export plane_curve
export platonic_solid
export pluecker_indices
export point
export point_coordinates
export point_matrix
export point_vector
Expand Down Expand Up @@ -1237,7 +1216,6 @@ export rank
export rank_action
export rational_equivalence_class
export rational_point_conic
export rational_point_coordinates
export rational_solutions
export rational_to_continued_fraction_hirzebruch_jung
export ray_degrees
Expand All @@ -1249,9 +1227,6 @@ export read_metadata
export reading_word
export real_projective_plane
export real_solutions
export realization
export realization_matrix
export realization_space
export recession_cone
export reduce
export reduce_fraction
Expand Down Expand Up @@ -1384,7 +1359,6 @@ export stable_intersection
export stable_set_polytope
export standard_basis
export standard_basis_with_transformation_matrix
export standard_covering
export standard_tableaux
export stanley_reisner_ideal
export stanley_reisner_ring
Expand Down Expand Up @@ -1438,7 +1412,6 @@ export torusinvariant_prime_divisors
export torusinvariant_weil_divisor_group
export total_degree
export total_space
export total_transform
export transform
export transitive_group
export transitive_group_identification, has_transitive_group_identification
Expand All @@ -1460,7 +1433,6 @@ export turn_denominator_into_polyhedron
export tutte_connectivity
export tutte_polynomial
export twist
export two_neighbor_step
export two_sided_ideal
export underlying_gluing
export underlying_quotient
Expand Down

0 comments on commit 1e8a597

Please sign in to comment.