|
27 | 27 | from sage.misc.namespace_package import install_doc
|
28 | 28 | install_doc(__package__, __doc__)
|
29 | 29 |
|
30 |
| -from . import primer |
| 30 | +from sage.categories import primer |
31 | 31 |
|
32 | 32 | from sage.misc.lazy_import import lazy_import
|
33 | 33 |
|
34 |
| -from .all__sagemath_objects import * |
| 34 | +from sage.categories.all__sagemath_objects import * |
35 | 35 |
|
36 |
| -from .basic import * |
| 36 | +from sage.categories.basic import * |
37 | 37 |
|
38 |
| -from .chain_complexes import ChainComplexes, HomologyFunctor |
| 38 | +from sage.categories.chain_complexes import ChainComplexes, HomologyFunctor |
39 | 39 |
|
40 |
| -from .simplicial_complexes import SimplicialComplexes |
| 40 | +from sage.categories.simplicial_complexes import SimplicialComplexes |
41 | 41 |
|
42 |
| -from .tensor import tensor |
43 |
| -from .signed_tensor import tensor_signed |
| 42 | +from sage.categories.tensor import tensor |
| 43 | +from sage.categories.signed_tensor import tensor_signed |
44 | 44 |
|
45 |
| -from .g_sets import GSets |
46 |
| -from .pointed_sets import PointedSets |
| 45 | +from sage.categories.g_sets import GSets |
| 46 | +from sage.categories.pointed_sets import PointedSets |
47 | 47 |
|
48 |
| -from .sets_with_grading import SetsWithGrading |
| 48 | +from sage.categories.sets_with_grading import SetsWithGrading |
49 | 49 |
|
50 |
| -from .groupoid import Groupoid |
51 |
| -from .permutation_groups import PermutationGroups |
| 50 | +from sage.categories.groupoid import Groupoid |
| 51 | +from sage.categories.permutation_groups import PermutationGroups |
52 | 52 |
|
53 | 53 | # enumerated sets
|
54 |
| -from .finite_sets import FiniteSets |
55 |
| -from .enumerated_sets import EnumeratedSets |
56 |
| -from .finite_enumerated_sets import FiniteEnumeratedSets |
57 |
| -from .infinite_enumerated_sets import InfiniteEnumeratedSets |
| 54 | +from sage.categories.finite_sets import FiniteSets |
| 55 | +from sage.categories.enumerated_sets import EnumeratedSets |
| 56 | +from sage.categories.finite_enumerated_sets import FiniteEnumeratedSets |
| 57 | +from sage.categories.infinite_enumerated_sets import InfiniteEnumeratedSets |
58 | 58 |
|
59 | 59 | # posets
|
60 |
| -from .posets import Posets |
61 |
| -from .finite_posets import FinitePosets |
62 |
| -from .lattice_posets import LatticePosets |
63 |
| -from .finite_lattice_posets import FiniteLatticePosets |
| 60 | +from sage.categories.posets import Posets |
| 61 | +from sage.categories.finite_posets import FinitePosets |
| 62 | +from sage.categories.lattice_posets import LatticePosets |
| 63 | +from sage.categories.finite_lattice_posets import FiniteLatticePosets |
64 | 64 |
|
65 | 65 | # finite groups/...
|
66 |
| -from .finite_semigroups import FiniteSemigroups |
67 |
| -from .finite_monoids import FiniteMonoids |
68 |
| -from .finite_groups import FiniteGroups |
69 |
| -from .finite_permutation_groups import FinitePermutationGroups |
| 66 | +from sage.categories.finite_semigroups import FiniteSemigroups |
| 67 | +from sage.categories.finite_monoids import FiniteMonoids |
| 68 | +from sage.categories.finite_groups import FiniteGroups |
| 69 | +from sage.categories.finite_permutation_groups import FinitePermutationGroups |
70 | 70 |
|
71 | 71 | # fields
|
72 |
| -from .number_fields import NumberFields |
73 |
| -from .function_fields import FunctionFields |
| 72 | +from sage.categories.number_fields import NumberFields |
| 73 | +from sage.categories.function_fields import FunctionFields |
74 | 74 |
|
75 | 75 | # modules
|
76 |
| -from .left_modules import LeftModules |
77 |
| -from .right_modules import RightModules |
78 |
| -from .bimodules import Bimodules |
| 76 | +from sage.categories.left_modules import LeftModules |
| 77 | +from sage.categories.right_modules import RightModules |
| 78 | +from sage.categories.bimodules import Bimodules |
79 | 79 |
|
80 |
| -from .modules import Modules |
| 80 | +from sage.categories.modules import Modules |
81 | 81 | RingModules = Modules
|
82 |
| -from .vector_spaces import VectorSpaces |
| 82 | +from sage.categories.vector_spaces import VectorSpaces |
83 | 83 |
|
84 | 84 | # (hopf) algebra structures
|
85 |
| -from .algebras import Algebras |
86 |
| -from .commutative_algebras import CommutativeAlgebras |
87 |
| -from .coalgebras import Coalgebras |
88 |
| -from .bialgebras import Bialgebras |
89 |
| -from .hopf_algebras import HopfAlgebras |
90 |
| -from .lie_algebras import LieAlgebras |
| 85 | +from sage.categories.algebras import Algebras |
| 86 | +from sage.categories.commutative_algebras import CommutativeAlgebras |
| 87 | +from sage.categories.coalgebras import Coalgebras |
| 88 | +from sage.categories.bialgebras import Bialgebras |
| 89 | +from sage.categories.hopf_algebras import HopfAlgebras |
| 90 | +from sage.categories.lie_algebras import LieAlgebras |
91 | 91 |
|
92 | 92 | # specific algebras
|
93 |
| -from .monoid_algebras import MonoidAlgebras |
94 |
| -from .group_algebras import GroupAlgebras |
95 |
| -from .matrix_algebras import MatrixAlgebras |
| 93 | +from sage.categories.monoid_algebras import MonoidAlgebras |
| 94 | +from sage.categories.group_algebras import GroupAlgebras |
| 95 | +from sage.categories.matrix_algebras import MatrixAlgebras |
96 | 96 |
|
97 | 97 | # ideals
|
98 |
| -from .ring_ideals import RingIdeals |
| 98 | +from sage.categories.ring_ideals import RingIdeals |
99 | 99 | Ideals = RingIdeals
|
100 |
| -from .commutative_ring_ideals import CommutativeRingIdeals |
101 |
| -from .algebra_modules import AlgebraModules |
102 |
| -from .algebra_ideals import AlgebraIdeals |
103 |
| -from .commutative_algebra_ideals import CommutativeAlgebraIdeals |
| 100 | +from sage.categories.commutative_ring_ideals import CommutativeRingIdeals |
| 101 | +from sage.categories.algebra_modules import AlgebraModules |
| 102 | +from sage.categories.algebra_ideals import AlgebraIdeals |
| 103 | +from sage.categories.commutative_algebra_ideals import CommutativeAlgebraIdeals |
104 | 104 |
|
105 | 105 | # schemes and varieties
|
106 |
| -from .modular_abelian_varieties import ModularAbelianVarieties |
107 |
| -from .schemes import Schemes |
| 106 | +from sage.categories.modular_abelian_varieties import ModularAbelianVarieties |
| 107 | +from sage.categories.schemes import Schemes |
108 | 108 |
|
109 | 109 | # * with basis
|
110 |
| -from .modules_with_basis import ModulesWithBasis |
| 110 | +from sage.categories.modules_with_basis import ModulesWithBasis |
111 | 111 | FreeModules = ModulesWithBasis
|
112 |
| -from .hecke_modules import HeckeModules |
113 |
| -from .algebras_with_basis import AlgebrasWithBasis |
114 |
| -from .coalgebras_with_basis import CoalgebrasWithBasis |
115 |
| -from .bialgebras_with_basis import BialgebrasWithBasis |
116 |
| -from .hopf_algebras_with_basis import HopfAlgebrasWithBasis |
| 112 | +from sage.categories.hecke_modules import HeckeModules |
| 113 | +from sage.categories.algebras_with_basis import AlgebrasWithBasis |
| 114 | +from sage.categories.coalgebras_with_basis import CoalgebrasWithBasis |
| 115 | +from sage.categories.bialgebras_with_basis import BialgebrasWithBasis |
| 116 | +from sage.categories.hopf_algebras_with_basis import HopfAlgebrasWithBasis |
117 | 117 |
|
118 | 118 | # finite dimensional * with basis
|
119 |
| -from .finite_dimensional_modules_with_basis import FiniteDimensionalModulesWithBasis |
120 |
| -from .finite_dimensional_algebras_with_basis import FiniteDimensionalAlgebrasWithBasis |
121 |
| -from .finite_dimensional_coalgebras_with_basis import FiniteDimensionalCoalgebrasWithBasis |
122 |
| -from .finite_dimensional_bialgebras_with_basis import FiniteDimensionalBialgebrasWithBasis |
123 |
| -from .finite_dimensional_hopf_algebras_with_basis import FiniteDimensionalHopfAlgebrasWithBasis |
| 119 | +from sage.categories.finite_dimensional_modules_with_basis import FiniteDimensionalModulesWithBasis |
| 120 | +from sage.categories.finite_dimensional_algebras_with_basis import FiniteDimensionalAlgebrasWithBasis |
| 121 | +from sage.categories.finite_dimensional_coalgebras_with_basis import FiniteDimensionalCoalgebrasWithBasis |
| 122 | +from sage.categories.finite_dimensional_bialgebras_with_basis import FiniteDimensionalBialgebrasWithBasis |
| 123 | +from sage.categories.finite_dimensional_hopf_algebras_with_basis import FiniteDimensionalHopfAlgebrasWithBasis |
124 | 124 |
|
125 | 125 | # graded *
|
126 |
| -from .graded_modules import GradedModules |
127 |
| -from .graded_algebras import GradedAlgebras |
128 |
| -from .graded_coalgebras import GradedCoalgebras |
129 |
| -from .graded_bialgebras import GradedBialgebras |
130 |
| -from .graded_hopf_algebras import GradedHopfAlgebras |
| 126 | +from sage.categories.graded_modules import GradedModules |
| 127 | +from sage.categories.graded_algebras import GradedAlgebras |
| 128 | +from sage.categories.graded_coalgebras import GradedCoalgebras |
| 129 | +from sage.categories.graded_bialgebras import GradedBialgebras |
| 130 | +from sage.categories.graded_hopf_algebras import GradedHopfAlgebras |
131 | 131 |
|
132 | 132 | # graded * with basis
|
133 |
| -from .graded_modules_with_basis import GradedModulesWithBasis |
134 |
| -from .graded_algebras_with_basis import GradedAlgebrasWithBasis |
135 |
| -from .graded_coalgebras_with_basis import GradedCoalgebrasWithBasis |
136 |
| -from .graded_bialgebras_with_basis import GradedBialgebrasWithBasis |
137 |
| -from .graded_hopf_algebras_with_basis import GradedHopfAlgebrasWithBasis |
| 133 | +from sage.categories.graded_modules_with_basis import GradedModulesWithBasis |
| 134 | +from sage.categories.graded_algebras_with_basis import GradedAlgebrasWithBasis |
| 135 | +from sage.categories.graded_coalgebras_with_basis import GradedCoalgebrasWithBasis |
| 136 | +from sage.categories.graded_bialgebras_with_basis import GradedBialgebrasWithBasis |
| 137 | +from sage.categories.graded_hopf_algebras_with_basis import GradedHopfAlgebrasWithBasis |
138 | 138 |
|
139 | 139 | # Coxeter groups
|
140 |
| -from .coxeter_groups import CoxeterGroups |
| 140 | +from sage.categories.coxeter_groups import CoxeterGroups |
141 | 141 | lazy_import('sage.categories.finite_coxeter_groups', 'FiniteCoxeterGroups')
|
142 |
| -from .weyl_groups import WeylGroups |
143 |
| -from .finite_weyl_groups import FiniteWeylGroups |
144 |
| -from .affine_weyl_groups import AffineWeylGroups |
| 142 | +from sage.categories.weyl_groups import WeylGroups |
| 143 | +from sage.categories.finite_weyl_groups import FiniteWeylGroups |
| 144 | +from sage.categories.affine_weyl_groups import AffineWeylGroups |
145 | 145 |
|
146 | 146 | # crystal bases
|
147 |
| -from .crystals import Crystals |
148 |
| -from .highest_weight_crystals import HighestWeightCrystals |
149 |
| -from .regular_crystals import RegularCrystals |
150 |
| -from .finite_crystals import FiniteCrystals |
151 |
| -from .classical_crystals import ClassicalCrystals |
| 147 | +from sage.categories.crystals import Crystals |
| 148 | +from sage.categories.highest_weight_crystals import HighestWeightCrystals |
| 149 | +from sage.categories.regular_crystals import RegularCrystals |
| 150 | +from sage.categories.finite_crystals import FiniteCrystals |
| 151 | +from sage.categories.classical_crystals import ClassicalCrystals |
152 | 152 |
|
153 | 153 | # polyhedra
|
154 | 154 | lazy_import('sage.categories.polyhedra', 'PolyhedralSets')
|
|
0 commit comments