On 8/12/19 11:45 PM, Travis Scrimshaw wrote:
>
> > I guess FiniteDimensionalAlgebrasWithBasis has both the old
> Algebras()
> > and the new MagmaticAlgebras() as supercategories? That would explain
> > why I'm seeing associativity and rings everywhere.
> >
>
> ...and
> > I guess FiniteDimensionalAlgebrasWithBasis has both the old Algebras()
> > and the new MagmaticAlgebras() as supercategories? That would explain
> > why I'm seeing associativity and rings everywhere.
> >
>
> ...and building up a pile of non-associative categories one-at-a-time
> doesn't
On 8/5/19 11:24 PM, Michael Orlitzky wrote:
>
> I guess FiniteDimensionalAlgebrasWithBasis has both the old Algebras()
> and the new MagmaticAlgebras() as supercategories? That would explain
> why I'm seeing associativity and rings everywhere.
>
...and building up a pile of non-associative
On 8/5/19 11:14 AM, Vincent Delecroix wrote:
> http://doc.sagemath.org/html/en/reference/categories/sage/categories/algebras.html
>
> Le 05/08/2019 à 17:14, Vincent Delecroix a écrit :
>> Though I think that associative is an assumption of algebras.
>> Indeed, from the documentation
>>
>> """
>>
http://doc.sagemath.org/html/en/reference/categories/sage/categories/algebras.html
Le 05/08/2019 à 17:14, Vincent Delecroix a écrit :
Though I think that associative is an assumption of algebras.
Indeed, from the documentation
"""
The category of associative and unital algebras over a given
Though I think that associative is an assumption of algebras.
Indeed, from the documentation
"""
The category of associative and unital algebras over a given
base ring.
"""
Le 05/08/2019 à 17:12, Vincent Delecroix a écrit :
sage: Rings().Commutative()
Category of commutative rings
sage:
sage: Rings().Commutative()
Category of commutative rings
sage: Rings()
Category of rings
Le 05/08/2019 à 16:45, Michael Orlitzky a écrit :
When I'm implementing an algebraic structure, for example,
sage: class HadamardR3(CombinatorialFreeModule):
: def __init__(self):
When I'm implementing an algebraic structure, for example,
sage: class HadamardR3(CombinatorialFreeModule):
: def __init__(self):
: cat = FiniteDimensionalAlgebrasWithBasis(QQ)
: gens = range(3)
: super(HadamardR3,self).__init__(QQ,