Re: [sage-devel] Category framework strangeness
On Thursday, August 28, 2014 9:20:30 PM UTC+1, Nicolas M. Thiéry wrote: > > about the heuristic itself: describe to me, in a generic way, what > output you'd want to have for a category of magmas and additive magmas > Definitely hyphenate compound adjectives if there is more than one compound. Perhaps hyphenate always. It is only permissible to not hyphenate if there is no danger of confusion. -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Category framework strangeness
On Mon, Aug 11, 2014 at 09:20:54AM +0100, John Cremona wrote: > It would be more readable if it appeared as > > Category of associative additive-commutative additive-associative > additive-unital distributive magmas and additive magmas > > where I have inserted a hyphen into your pairs of words. That should be easy to implement and help. Does this sound right to everybody? Cheers, Nicolas -- Nicolas M. Thiéry "Isil" http://Nicolas.Thiery.name/ -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Category framework strangeness
On Wed, Aug 13, 2014 at 03:50:59AM -0700, Volker Braun wrote: >The question wasn't whether it is unambiguous for the computer, but why >it is ambiguously displayed to the user. I know. I just wanted to make sure nobody would worry about it. >If axioms were internally represented by some object then it would be >trivial to add the English language adjective for the _repr_ output. I am not too worried about the implementation of the heuristic, but about the heuristic itself: describe to me, in a generic way, what output you'd want to have for a category of magmas and additive magmas that satisfy a bunch of axioms. We could of course clear all ambiguity by adding a bunch of parenthesis, but that would not help readability. Cheers, Nicolas -- Nicolas M. Thiéry "Isil" http://Nicolas.Thiery.name/ -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Category framework strangeness
The question wasn't whether it is unambiguous for the computer, but why it
is ambiguously displayed to the user.
If axioms were internally represented by some object then it would be
trivial to add the English language adjective for the _repr_ output.
On Wednesday, August 13, 2014 4:37:20 AM UTC+1, Nicolas M. Thiéry wrote:
>
> On Sun, Aug 10, 2014 at 11:49:14PM +0200, Nicolas M. Thiery wrote:
> > On Thu, Jul 17, 2014 at 05:37:48PM +0200, Vincent Delecroix wrote:
> > > Whaou. I guess it means: Category of (associative additive)
> > > (commutative additive) (associative additive) unital distributive
> > > magmas and additive magmas. But definitely, there is something wrong
> > > ;-)
> >
> > It's:
> >
> > Category of associative (additive commutative) (additive associative)
> > (additive unital) distributive magmas and additive magmas
> >
> > Admittedly it's not so readable (if you have ideas on how to improve
> > the heuristics to get nice _repr_ with little code, please get in
> > touch), but it's correct!
>
> I should have mentioned that there is no ambiguity if you ask for the
> list of axioms:
>
> sage: Fields().axioms()
> frozenset({'AdditiveAssociative', 'AdditiveCommutative',
> 'AdditiveInverse',
>'AdditiveUnital', 'Associative', 'Commutative',
> 'Distributive',
>'Division', 'NoZeroDivisors', 'Unital'})
>
> Cheers,
> Nicolas
> --
> Nicolas M. Thiéry "Isil" >
> http://Nicolas.Thiery.name/
>
--
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Category framework strangeness
On Sun, Aug 10, 2014 at 11:49:14PM +0200, Nicolas M. Thiery wrote:
> On Thu, Jul 17, 2014 at 05:37:48PM +0200, Vincent Delecroix wrote:
> > Whaou. I guess it means: Category of (associative additive)
> > (commutative additive) (associative additive) unital distributive
> > magmas and additive magmas. But definitely, there is something wrong
> > ;-)
>
> It's:
>
> Category of associative (additive commutative) (additive associative)
> (additive unital) distributive magmas and additive magmas
>
> Admittedly it's not so readable (if you have ideas on how to improve
> the heuristics to get nice _repr_ with little code, please get in
> touch), but it's correct!
I should have mentioned that there is no ambiguity if you ask for the
list of axioms:
sage: Fields().axioms()
frozenset({'AdditiveAssociative', 'AdditiveCommutative', 'AdditiveInverse',
'AdditiveUnital', 'Associative', 'Commutative', 'Distributive',
'Division', 'NoZeroDivisors', 'Unital'})
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil"
http://Nicolas.Thiery.name/
--
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Category framework strangeness
On 10 August 2014 22:49, Nicolas M. Thiery wrote: > On Thu, Jul 17, 2014 at 05:37:48PM +0200, Vincent Delecroix wrote: >> Whaou. I guess it means: Category of (associative additive) >> (commutative additive) (associative additive) unital distributive >> magmas and additive magmas. But definitely, there is something wrong >> ;-) > > It's: > > Category of associative (additive commutative) (additive associative) > (additive unital) distributive magmas and additive magmas > It would be more readable if it appeared as Category of associative additive-commutative additive-associative additive-unital distributive magmas and additive magmas where I have inserted a hyphen into your pairs of words. > Admittedly it's not so readable (if you have ideas on how to improve > the heuristics to get nice _repr_ with little code, please get in > touch), but it's correct! > John > Cheers, > Nicolas > -- > Nicolas M. Thiéry "Isil" > http://Nicolas.Thiery.name/ > > -- > 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 post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Category framework strangeness
On Thu, Jul 17, 2014 at 05:37:48PM +0200, Vincent Delecroix wrote: > Whaou. I guess it means: Category of (associative additive) > (commutative additive) (associative additive) unital distributive > magmas and additive magmas. But definitely, there is something wrong > ;-) It's: Category of associative (additive commutative) (additive associative) (additive unital) distributive magmas and additive magmas Admittedly it's not so readable (if you have ideas on how to improve the heuristics to get nice _repr_ with little code, please get in touch), but it's correct! Cheers, Nicolas -- Nicolas M. Thiéry "Isil" http://Nicolas.Thiery.name/ -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Category framework strangeness
Whaou. I guess it means: Category of (associative additive) (commutative additive) (associative additive) unital distributive magmas and additive magmas. But definitely, there is something wrong ;-) Vincent 2014-07-17 17:31 UTC+02:00, Jean-Pierre Flori : > When I define some finite field and ask for the categories it belongs to, > one of them is: > Category of associative additive commutative additive associative additive > unital distributive magmas and additive magmas > > That's a nice bunch of properties. > > -- > 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 post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
