Re: [sage-devel] Where do categories() come from?
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 >> >> """ >> The category of associative and unital algebras over a given >> base ring. >> """ Algebras() is supposed to be deprecated in favor of MagmaticAlgebras() that aren't necessarily associative... but that just brings me back to: sage: J.category().super_categories() [Category of algebras with basis over Rational Field, Category of finite dimensional magmatic algebras with basis over Rational Field] 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. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/c7cd9414-58dc-d360-3a65-ad7a5c1192b3%40orlitzky.com.
Re: [sage-devel] Re: [gentoo) insufficient memory for the JRE to continue.
On Mon, Aug 5, 2019 at 5:30 PM Eric Gourgoulhon wrote: > > Le samedi 3 août 2019 22:45:43 UTC+2, Timo Kaufmann a écrit : >> >> It's been a while, but now we are seeing a similar issue here[1]. In our >> case it fails the doctests, seems to be jmol running out of memory. > > > Another motivation for https://trac.sagemath.org/ticket/22408 If I recall correctly, I noticed that in Debian's package for Sage 8.6, they already patched it to make threejs the default. Whatever minor bugs remain with threejs maybe we should go ahead and just switch the default, and for the few issues where threejs isn't the best viewer it's still possible to switch to another, including jmol, where available... -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAOTD34a8%3DGrMLt4PmkYUUYOq7uoe54jL7nTbm7WHTXbZTmMbZg%40mail.gmail.com.
[sage-devel] Re: [gentoo) insufficient memory for the JRE to continue.
Le samedi 3 août 2019 22:45:43 UTC+2, Timo Kaufmann a écrit : > > It's been a while, but now we are seeing a similar issue here[1]. In our > case it fails the doctests, seems to be jmol running out of memory. > Another motivation for https://trac.sagemath.org/ticket/22408 Eric. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/fa48e1c0-987a-4d38-8054-cebc43bd1aed%40googlegroups.com.
Re: [sage-devel] Where do categories() come from?
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 base ring. """ Le 05/08/2019 à 17:12, Vincent Delecroix a écrit : 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): : cat = FiniteDimensionalAlgebrasWithBasis(QQ) : gens = range(3) : super(HadamardR3,self).__init__(QQ, : gens, : category=cat) : def product_on_basis(self,i,j): : ei = self.basis()[i].to_vector() : ej = self.basis()[j].to_vector() : Lei = ei.column()*ei.row() : return self.from_vector(Lei*ej) I get a bunch of categories that I don't expect. These two are OK: sage: J = HadamardR3() sage: J.category() Category of finite dimensional algebras with basis over Rational Field sage: J.category().super_categories() [Category of algebras with basis over Rational Field, Category of finite dimensional magmatic algebras with basis over Rational Field] But where do all these come from? sage: J.categories() [Category of finite dimensional algebras with basis over Rational Field, Category of algebras with basis over Rational Field, Category of algebras over Rational Field, Category of rings, Category of associative algebras over Rational Field, ... I'm particularly curious how "associative" gets in there for non-associative algebras. This leads to things like "J in Rings()" returning true when "J" isn't a ring, and probably a bunch of nonsense methods being automatically implemented for the structure. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/c0f95f6d-04ce-d5c9-90ca-11f58709e50a%40gmail.com.
Re: [sage-devel] Where do categories() come from?
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: 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): : cat = FiniteDimensionalAlgebrasWithBasis(QQ) : gens = range(3) : super(HadamardR3,self).__init__(QQ, : gens, : category=cat) : def product_on_basis(self,i,j): : ei = self.basis()[i].to_vector() : ej = self.basis()[j].to_vector() : Lei = ei.column()*ei.row() : return self.from_vector(Lei*ej) I get a bunch of categories that I don't expect. These two are OK: sage: J = HadamardR3() sage: J.category() Category of finite dimensional algebras with basis over Rational Field sage: J.category().super_categories() [Category of algebras with basis over Rational Field, Category of finite dimensional magmatic algebras with basis over Rational Field] But where do all these come from? sage: J.categories() [Category of finite dimensional algebras with basis over Rational Field, Category of algebras with basis over Rational Field, Category of algebras over Rational Field, Category of rings, Category of associative algebras over Rational Field, ... I'm particularly curious how "associative" gets in there for non-associative algebras. This leads to things like "J in Rings()" returning true when "J" isn't a ring, and probably a bunch of nonsense methods being automatically implemented for the structure. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/aabc0305-d5d8-90ce-e3fc-9d44e2cea16f%40gmail.com.
Re: [sage-devel] Where do categories() come from?
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): : cat = FiniteDimensionalAlgebrasWithBasis(QQ) : gens = range(3) : super(HadamardR3,self).__init__(QQ, : gens, : category=cat) : def product_on_basis(self,i,j): : ei = self.basis()[i].to_vector() : ej = self.basis()[j].to_vector() : Lei = ei.column()*ei.row() : return self.from_vector(Lei*ej) I get a bunch of categories that I don't expect. These two are OK: sage: J = HadamardR3() sage: J.category() Category of finite dimensional algebras with basis over Rational Field sage: J.category().super_categories() [Category of algebras with basis over Rational Field, Category of finite dimensional magmatic algebras with basis over Rational Field] But where do all these come from? sage: J.categories() [Category of finite dimensional algebras with basis over Rational Field, Category of algebras with basis over Rational Field, Category of algebras over Rational Field, Category of rings, Category of associative algebras over Rational Field, ... I'm particularly curious how "associative" gets in there for non-associative algebras. This leads to things like "J in Rings()" returning true when "J" isn't a ring, and probably a bunch of nonsense methods being automatically implemented for the structure. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/0d3265de-3ae6-81dd-f701-ed32d8dda3d2%40gmail.com.
[sage-devel] Where do categories() come from?
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, : gens, : category=cat) : def product_on_basis(self,i,j): : ei = self.basis()[i].to_vector() : ej = self.basis()[j].to_vector() : Lei = ei.column()*ei.row() : return self.from_vector(Lei*ej) I get a bunch of categories that I don't expect. These two are OK: sage: J = HadamardR3() sage: J.category() Category of finite dimensional algebras with basis over Rational Field sage: J.category().super_categories() [Category of algebras with basis over Rational Field, Category of finite dimensional magmatic algebras with basis over Rational Field] But where do all these come from? sage: J.categories() [Category of finite dimensional algebras with basis over Rational Field, Category of algebras with basis over Rational Field, Category of algebras over Rational Field, Category of rings, Category of associative algebras over Rational Field, ... I'm particularly curious how "associative" gets in there for non-associative algebras. This leads to things like "J in Rings()" returning true when "J" isn't a ring, and probably a bunch of nonsense methods being automatically implemented for the structure. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/e9d425ed-e0e1-8704-97ca-17a52b8c2de1%40orlitzky.com.
[sage-devel] Re: Failure to build SageMath
It worked! Thank you very much. On Monday, August 5, 2019 at 10:32:51 AM UTC+3, David Coudert wrote: > > This is the same issue than > https://groups.google.com/forum/#!topic/sage-devel/cdw793St6cE > > So try to remove local/share/gap/ and local/lib/gap by hand and then build > again. > > > Le dimanche 4 août 2019 21:11:15 UTC+2, Georgios Giapitzakis Tzintanos a > écrit : >> >> Hello, >> >> I am new here so please excuse my ignorance. When I updated Sage to the >> latest beta (Sage 8.9.beta5) and ran make I got an error when building >> package gap-4.10.2.p0. I am attaching the log file. The main error >> message I am getting is this: >> >> [gap-4.10.2.p0] cp: cannot overwrite directory >>> /Users/giorgosgiapis/Desktop/sage/local/./share/gap/bin/x86_64-apple-darwin18.5.0-default64-kv3/src >>> >>> with non-directory >>> /Users/giorgosgiapis/Desktop/sage/local/var/tmp/sage/build/gap-4.10.2.p0/inst/Users/giorgosgiapis/Desktop/sage/local/./share/gap/bin/x86_64-apple-darwin18.5.0-default64-kv3/src >>> >>> [gap-4.10.2.p0] >>> >>> >>> [gap-4.10.2.p0] Error copying files for gap-4.10.2.p0. >>> >>> [gap-4.10.2.p0] >>> >>> >> >> Thank you. >> > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/3057ac72-70d9-48bc-ac19-5d92ca270f7b%40googlegroups.com.
[sage-devel] Re: Failure to build SageMath
This is the same issue than https://groups.google.com/forum/#!topic/sage-devel/cdw793St6cE So try to remove local/share/gap/ and local/lib/gap by hand and then build again. Le dimanche 4 août 2019 21:11:15 UTC+2, Georgios Giapitzakis Tzintanos a écrit : > > Hello, > > I am new here so please excuse my ignorance. When I updated Sage to the > latest beta (Sage 8.9.beta5) and ran make I got an error when building > package gap-4.10.2.p0. I am attaching the log file. The main error > message I am getting is this: > > [gap-4.10.2.p0] cp: cannot overwrite directory >> /Users/giorgosgiapis/Desktop/sage/local/./share/gap/bin/x86_64-apple-darwin18.5.0-default64-kv3/src >> >> with non-directory >> /Users/giorgosgiapis/Desktop/sage/local/var/tmp/sage/build/gap-4.10.2.p0/inst/Users/giorgosgiapis/Desktop/sage/local/./share/gap/bin/x86_64-apple-darwin18.5.0-default64-kv3/src >> >> [gap-4.10.2.p0] >> >> >> [gap-4.10.2.p0] Error copying files for gap-4.10.2.p0. >> >> [gap-4.10.2.p0] >> >> > > Thank you. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/b110ac8e-2583-438e-9ec4-40ae7f5c880a%40googlegroups.com.