[sage-devel] Re: Brauer Algebra Idempotents

2019-07-29 Thread Pavel Javornik
Thank you for the quick response! I'll read up on how exactly this ticket 
should be formatted this afternoon. I'm fairly new to all of this, but I'll 
give it my best shot.

On Saturday, July 27, 2019 at 2:09:04 AM UTC-4, Travis Scrimshaw wrote:
>
> Hi Pavel,
>It looks pretty good overall, and it would be really nice to get the 
> idempotents and representations into Sage. Then on top of that, you can 
> make this notebook into a proper tutorial for Sage. Would you be willing to 
> create a trac ticket (see trac.sagemath.org) and a git branch to add the 
> code into Sage? You can cc me by adding "tscrim" to the cc field, and I can 
> answer any questions there.
>
> Best,
> Travis
>
>
> On Friday, July 26, 2019 at 7:30:28 AM UTC+10, Pavel Javornik wrote:
>>
>> Hello all,
>>
>> I'm a graduate student working on implementing Brauer Algebra idempotents 
>> by way of a SAGE tutorial. 
>>
>> I just finished a rough draft of the methods I used in order to do so. If 
>> anyone would be interested in doing this officially, I've outlined my 
>> methods in the attached notebook file.
>>
>> Of course, I'm not the best programmer so it might be a bit sloppy :p
>>
>> But it is correct as far as I can tell.
>>
>> Best,
>> Pavel
>>
>

-- 
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/b06d22b8-3c01-4fb2-9b2e-e1e8def3f522%40googlegroups.com.


[sage-devel] Re: Making Integer and Rational compatible with Python Fraction

2019-07-29 Thread Simon King
Hi!

If we say that Sage Integers and Rationals should comply with Python's
requirements, then for consistency, the same should hold for elements of
integral domains respectively of their fraction fields.

In particular, the required element methods of QuotientFields() should
be removed and instead one should require numerator and denominator
element proporties (if that's possible) for IntegralDomains().

Inside the Sage library, either solution is doable with a different
amount of effort. The questions are:
 - To what extent each solution breaks external code?
 - Are these backwards incompatibilities acceptable?

Currently a modification of Mark's suggestion 3. (perhaps including 2.)
makes most sense to me:
 - Change numerator and denominator of *all* integral domain elements
   (not just integers and rationals) into properties, also taking into
   account the stuff required by categories.
 - Make integers and rationals callable, returning themselves and
   raising a deprecation warning.
 - (Perhaps) add numer and denom methods.

Rationale: In external code, I guess the most common use case of
numerator and denominator methods is for rationals. Hence, the damage to
external code would be minimised by preserving backwards compatibility
for Rationals. And after some deprecation period we would achieve a
consistent behaviour for all kindes of fraction field elements compliant
with python numbers.

Best regards,
Simon

-- 
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/qhmv26%247qm2%241%40blaine.gmane.org.