def __init__(self, R): """ TESTS:: sage: from sage.categories.modsym_coefficient_module_category import MSCoefficientModules sage: D = MSCoefficientModules(QQ); TestSuite(D).run() """ Category_module.__init__(self, R, "modular symbol coefficient modules")
def __init__(self, R): """ TESTS:: sage: from sage.categories.modsym_coefficient_module_category import MSCoefficientModules sage: D = MSCoefficientModules(QQ); TestSuite(D).run() """ Category_module.__init__(self, R, 'modular symbol coefficient modules')
def __init__(self, R): """ TESTS:: sage: TestSuite(HeckeModules(ZZ)).run() sage: HeckeModules(Partitions(3)).run() Traceback (most recent call last): ... TypeError: R (=Partitions of the integer 3) must be a commutative ring """ from commutative_rings import CommutativeRings if R not in CommutativeRings(): raise TypeError("R (=%s) must be a commutative ring" % R) Category_module.__init__(self, R)
def __init__(self, R): """ TESTS:: sage: TestSuite(HeckeModules(ZZ)).run() sage: HeckeModules(Partitions(3)).run() Traceback (most recent call last): ... TypeError: R (=Partitions of the integer 3) must be a commutative ring """ from commutative_rings import CommutativeRings if R not in CommutativeRings(): raise TypeError, "R (=%s) must be a commutative ring"%R Category_module.__init__(self, R, "Hecke modules")
def __init__(self, K): """ EXAMPLES:: sage: VectorSpaces(QQ) Category of vector spaces over Rational Field sage: VectorSpaces(ZZ) Traceback (most recent call last): ... ValueError: base must be a field or a subcategory of Fields(); got Integer Ring TESTS:: sage: C = QQ^10 # vector space sage: TestSuite(C).run() sage: TestSuite(VectorSpaces(QQ)).run() """ Category_module.__init__(self, K)