Re: [sage-devel] Unreasonably slow piecewise function

[David Joyner]

For another data point, on an ubuntu laptop:

sage: time [f(0.1*i) for i in range(1,10)]
CPU times: user 136 ms, sys: 0 ns, total: 136 ms
Wall time: 99.1 ms
[1, 1, 1, 1, 1, 1, 1, 1, 1]
sage: time f(0.1)
CPU times: user 13.6 ms, sys: 0 ns, total: 13.6 ms
Wall time: 13.5 ms
1
sage: version()
'SageMath version 10.3.rc1, Release Date: 2024-02-29'

On Wed, May 1, 2024 at 5:21 AM Kwankyu Lee  wrote:
>
> Hi,
>
> I get
>
> sage: f = piecewise([((0,1),1)])
> sage: time f(0.1)
> CPU times: user 135 ms, sys: 4.23 ms, total: 140 ms
> Wall time: 146 ms
> 1
> sage: time f(0.2)
> CPU times: user 133 ms, sys: 3.56 ms, total: 136 ms
> Wall time: 137 ms
> 1
>
> This is painfully slow. Is this normal?
>
> --
> 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/af2161ba-1ee9-4636-9cea-98ea6031796bn%40googlegroups.com.

-- 
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/CAEQuuAWBAs2ouVu0iRhj7_FjROEfMLuaj7OQLeu-qmQC%2BOkgRw%40mail.gmail.com.

Re: [sage-devel] VOTE: Revert merged PR with unreviewed dependencies

[David Joyner]

On Thu, Apr 18, 2024 at 11:54 AM David Roe  wrote:
>
> Hi all,
> Sage has had a review process for over 15 years, but a combination of recent 
> changes has led to the merging of a PR into sage-10.4.beta3 of a change 
> (#36964) that I believe should not (yet) have been merged.  In #37796 I 
> created a PR to revert the change, which was opposed by the author of the 
> original change.  After some voting using the disputed PR policy, Matthias 
> has asked for a vote on sage-devel about this reversion, in accordance with 
> the section that "This process is intended as a lower-intensity method for 
> resolving disagreements, and full votes on sage-devel override the process 
> described below."  I am therefore asking you to vote (+1 means merge #37796 
> in order to revert #36964).
>

+1


> First, here are the relevant parts of the history of this particular change:
>
> - #36964 was created on December 25 by Matthias, positively reviewed by 
> Kwankyu on Decemebr 27, disputed, received enough votes to get a positive 
> review on April 7, and was merged by Volker on April 12.  It had 
> dependencies: #37667, #36951, and #36676.  While #37667 had positive review 
> and was already been merged, the other two were still disputed: they had 
> received an initial positive review but others objected and discussion was 
> ongoing.
>
> - #37667 is not disputed.
>
> - #36951 was created on December 23 by Matthias, positively reviewed by 
> Kwankyu on January 1, disputed, received enough votes (3-1) to change to 
> positive review on April 7, had a clarification to bring back to (3-2) and 
> remove positive review, then was included in the merge of #36964. On April 
> 13, John Palmieri voted in favor, so the current vote stands at 4-2, enough 
> for the 2-1 threshold in order to get positive review under the disputed 
> voting process.
>
> - #36676 was created on November 8 by Matthias, positively reviewed by John 
> Palmieri on November 15, and then disputed.  The most recent count was 6-4 in 
> favor (falling short of the 2-1 ratio needed under the disputed voting 
> process); since then I voted in favor, it was included in the merge of 
> #36964, and then Martin voted against.
>
>
> At issue is the PR #36676, where discussion was still ongoing when #36964 was 
> merged.  The reversion of this PR proposed is purely for process reasons (I 
> voted in favor of #36676 before all this happened!).  The 5 Sage developers 
> opposed to #36676 deserve to have our processes followed.  What went wrong?
>
> I think what happened resulted from a combination of the new disputed voting 
> process, mismatched expectations around dependencies after the move to 
> github, and Volker's release management scripts.  Several developers 
> privately expressed concern prior to this merge about exactly this outcome, 
> and I reassured them that dependencies would be taken into account.  
> Unfortunately, dependencies are now (unlike in trac) just a text section of 
> the PR comment, and the release scripts only see the label.
>
>
> There are lots of things to discuss around this chain of events.  I ask that 
> everyone keep this thread focused on whether to merge #37796 in order to 
> revert #36964.  Some other topics, and places I suggest for discussing them:
> - Ways to improve or eliminate the disputed voting process: I suggest Dima's 
> recent thread.
> - The merits of #36676: I suggest discussing this either in the comments on 
> that PR, or starting a new sage-devel topic if you have broader changes to 
> raise about sage development.
> - Broader discussion of technical differences or philosophy: start a new 
> thread.
>
> I suggest a deadline of Sunday April 21 at 23:59 US/Pacific for this vote.
>
> Finally, many of these PRs have been plagued by conflict and inappropriate 
> language.  Please, keep comments friendly in this discussion.
> David
>
> --
> 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/CAChs6_%3Dj65YMtx%3DOEX7r5wUcRxr0iCk__0mbqJTKBZB5c_RoBQ%40mail.gmail.com.

-- 
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/CAEQuuAUcjvuFMJHbQHB6T1H4_%2BQe0NZWBuqTirsJ3FfQC%2BMG7g%40mail.gmail.com.

Re: [sage-devel] Vote: changes to Sage's Code of Conduct

[David Joyner]

+1

On Thu, Mar 21, 2024 at 12:51 PM John H Palmieri 
wrote:

> Dear Sage community,
>
> As announced at
> https://groups.google.com/g/sage-devel/c/Xf6dbPLmKPY/m/p88auKlBAwAJ, I
> propose some changes to the Code of Conduct. Those changes have been
> discussed and modified based on feedback from several developers: visit
> https://github.com/sagemath/sage/pull/37501 for details. Those changes
> are now ready for a vote here on sage-devel.
>
> Please vote: do you approve the changes to the Code of Conduct proposed at
> https://github.com/sagemath/sage/pull/37501? Please vote on or before
> March 31.
>
> In case you want a summary: the old code of conduct was pretty short, so
> some details were added, and whole new sections were added. The proposed
> changes were greatly inspired by similar documents from the SciPy and
> NumFOCUS projects, and the proposed code now includes sections on
> diversity, how to report potential violations,  names of the committee
> members, and what is necessary to amend the document. There is also a new
> document, a manual for the Code of Conduct Committee, which describes what
> that committee does and what actions it might take to respond to reports.
> That document is a modified version of SciPy's corresponding document.
>
> --
> John
>
> --
> 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/97bcddfd-5a48-4feb-ae61-f8c2e50f7cc3n%40googlegroups.com
> 
> .
>

-- 
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/CAEQuuAVWWwXNy6OSe9QoH6WQjsvp0TAuNGPekwTcWUos6S8abw%40mail.gmail.com.

Re: [sage-devel] Re: Implementing minimum_generating_set() function

[David Joyner]

On Sat, Feb 3, 2024 at 1:13 PM 'Ruchit Jagodara' via sage-devel <
sage-devel@googlegroups.com> wrote:

> So, why is the quotient function implemented in Sage is
> giving RegularActionHomomorphism of G/N ? Is there any particular reason
> for it?  Should I change it (because I found a FIXME note also, saying that
> gap has a better way to find quotient)? I am implementing some functions
> related to group theory, and I can work on this as well.
>

The function quotient in the PermutationGroups class is returning another
instance of that class. What you want is in a different Python class.
Instead of "fixing" the quotient function, you can simply implement another
quotient function, call it quotient_to_cosets or something like that.



> On Saturday, February 3, 2024 at 10:24:54 PM UTC+5:30 David Roe wrote:
>
>> You can lift elements via the quotient map to get representatives of each
>> coset.  I'm not sure that this is wrapped in Sage, but using gap directly
>> you have:
>>
>> sage: Pgap = p._libgap_()
>> sage: Ngap = N._libgap_()
>> sage: phi = Pgap.NaturalHomomorphismByNormalSubgroup(Ngap); phi
>> [ (2,3,4,5,6,7) ] -> [ f1^2 ]
>> sage: PN = phi.ImagesSource() # the quotient as an isomorphic group
>> sage: preimages_gens = [phi.PreImagesRepresentative(g) for g in
>> PN.GeneratorsOfGroup()]
>> sage: preimages_gens
>> [(2,4,6)(3,5,7)]
>> sage: all_preimages = [phi.PreImagesRepresentative(g) for g in PN.List()]
>> sage: all_preimages
>> [(), (2,4,6)(3,5,7), (2,6,4)(3,7,5)]
>>
>> David
>>
>> On Sat, Feb 3, 2024 at 10:58 AM 'Ruchit Jagodara' via sage-devel <
>> sage-...@googlegroups.com> wrote:
>>
>>> I think this is giving a group isomorphic to the actual quotient group
>>> but I need the actual quotient group. Therefor, I don't know how to find
>>> that exact group. Below is one example,
>>>
>>> sage: p = PermutationGroup([(2,3,4,5,6,7)])
>>> sage: N = p.minimal_normal_subgroups()[0]
>>> sage: N
>>> Subgroup generated by [(2,5)(3,6)(4,7)] of (Permutation Group with
>>> generators [(2,3,4,5,6,7)])
>>> sage: N.list()
>>> [(), (2,5)(3,6)(4,7)]
>>> sage: p.quotient(N)
>>> Permutation Group with generators [(1,2,3)]
>>> sage: _.list()
>>> [(), (1,2,3), (1,3,2)]
>>>
>>> If this is the collection of representative elements(for cosets) then
>>> ``1`` should not be in any of the permutations.
>>>
>>> I need a quotient group structure whose elements(the cosets) have the
>>> representative element (from the original group) and the normal subgroup
>>> (which was used to create the quotient group) as their properties or
>>> available in some other form.
>>> On Friday, January 19, 2024 at 10:33:21 PM UTC+5:30 Dima Pasechnik wrote:
>>>


 On 19 January 2024 15:18:45 GMT, 'Ruchit Jagodara' via sage-devel <
 sage-...@googlegroups.com> wrote:
 >In case my questions have caused any confusion, I am rephrasing them
 as
 >below.
 >
 >I have a group G and its minimal normal subgroup N.
 >
 >I want to find G/N. Do you know how I can do that? (I also want G/N to
 be
 >an object of the same class as G.)

 It's G.quotient(N), no?

 >
 >My another question is: How can I find the group operation of a group
 G?
 >On Thursday, January 18, 2024 at 7:13:50 PM UTC+5:30 Dima Pasechnik
 wrote:
 >
 >> On Thu, Jan 18, 2024 at 11:39 AM 'Ruchit Jagodara' via sage-devel
 >>  wrote:
 >> >
 >> > Actually, that won't work according to the implementation.
 >>
 >> sorry, I don't understand what won't work.
 >> Did you mean to ask a different question?
 >>
 >> > Can you please take a look at the code I wrote (although I have
 not
 >> written it according to codestyle of sage, yet. But I will do that
 when the
 >> code starts working.), where minimum_generating_set is the main
 function?
 >> >
 >> > Link-
 >>
 https://github.com/RuchitJagodara/sage/blob/8b642329b6d579c536511d5f1d1511fb842c9c54/src/sage/groups/libgap_wrapper.pyx#L405C1-L513C1
 >> >
 >> > I have implemented this code according to the research paper.
 >>
 >> Sorry, what paper are you talking about?
 >>
 >>
 >> > The algorithm can find the minimum generating set in polynomial
 time,
 >> which is very cool! So, I thought it would be good to implement this
 in
 >> Sage, especially since the paper has been recently published.
 >> >
 >> > I've almost completed the code, but I'm unsure about how to find
 the
 >> Quotient group and its representative elements. I need help with
 this.
 >> >
 >> > I've outlined my doubts in the code, which you can see in the
 following
 >> link:-
 >> >
 >> >
 >>
 https://github.com/RuchitJagodara/sage/blob/8b642329b6d579c536511d5f1d1511fb842c9c54/src/sage/groups/libgap_wrapper.pyx#L478-L486
 >> >
 >> > GAP has a function named RightCosets that can be used to form a
 quotient
 >> group, but there is 

Re: [sage-devel] Re: Policy for disputed PRs: discussion

[David Joyner]

On Wed, Nov 29, 2023 at 10:12 AM tobia...@gmx.de  wrote:

> At first I was very enthusiastic about this proposed policy, but after
> thinking about this for a bit I'm no longer convinced this is a good idea.
>
> First of all, the policy sets out to solve the case "where there is a
> general consensus, but one person (or a few people) disagree". In my
> experience, this case is not a problem. All the examples mentioned so far
> (and the few other examples I'm aware of), have usually one positive
> reviewer and one negative review. This is not a general consensus. The
> problem is more that a general consensus cannot be reached. Another aspect
> of the issue is that usually only a very small group of 2 to 3 people is
> involved in discussing the PR, which perhaps not surprisingly then more
> easily results in a state where all arguments have been exchanged without
> finding a solution satisfying everyone.
> For example, with the proposed policy, Dima and me would have outvoted
> Matthias in https://github.com/sagemath/sage/pull/35403. But this PR was
> largely improved by the discussion on the mailing list (that it is still
> not clear how to proceed with this PR is another sad story).
>
> In light of this, I would like to propose to change the policy proposal to
> an automatic system that draws more attention to the PR, with the hope that
> new people bring new input and ideas, which then resolves the conflict in a
> natural way. The proposal is something along the following: if a PR is say
> a week in the "disputed state" as defined above by Kwankyu, both parties
> write a short statement of why they think it should or should not be
> merged, and this summary is then posted to the mailing list. Not to start a
> voting, but to raise awareness and invite other devs to join the
> discussion. Similar calls for PR reviews are not uncommon on the mailing
> list, so I don't think it would annoy subscribers too much.
>
> Finally, I think Dima raises a very important point. Most of the
> discussions in these "disputed PRs" are a result of a lack of a common
> vision for the project and agreement on what projects to work on. It would
> be immensely more productive to have a general discussion e.g. about how to
> proceed with sage-the-distribution (replace it?, with what?, how to sunset
> it? reduce it? enlarge it?). As an example, I think conda is a good
> candidate to replace sage-the-distribution and thus naturally open PRs with
> changes in that direction. But if you don't agree with this general
> direction, it's easy to find these changes annoying. On the other hand, if
> there would be an agreement that conda was a nice experiment that we don't
> want to continue, then I'm happy to delete it completely. But instead of a
> general direction, we have this situation where every developer is having
> their own ideas and little projects that they are working on, and that are
> bound to step on toes of others.
>

Thank you for this. It seems to me to be a reasonable explanation of what's
going on.

One question: Dima has said he is "... trying to pull the ship into the sea
of normal Python packages...". Isn't this consistent with your goal that
"conda is a good candidate" for SageMath distribution?



>
> On Wednesday, November 29, 2023 at 7:20:12 AM UTC+8 Kwankyu Lee wrote:
>
>> I think there needs to be a clear indication that a voting period is
>> active (and when it closes). Perhaps we can use a PR label "s: voting" or
>> "s: needs votes"?
>>
>>
>> If we do not want to invent a new label, we may add "s: needs review",
>> "s: needs work", "s:needs info" altogether to get attention.
>>
>> Then the voting period starts when the three labels are added.
>>
>> I suggest to end the voting when a week has passed after the last vote
>> was casted.
>>
> --
> 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/c602514f-b7a1-4afc-bb04-cdde37b4a879n%40googlegroups.com
> 
> .
>

-- 
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/CAEQuuAVc5UpovVoWz6eFp%3DvDCcihYhW%3Dtbx054_0RMvLJnQZAg%40mail.gmail.com.

Re: [sage-devel] Discussion and poll: should Sage Integers have a backslash operator?

[David Joyner]

On Wed, Sep 27, 2023 at 2:32 PM John H Palmieri 
wrote:

> The github issue #36060 (https://github.com/sagemath/sage/issues/36060)
> proposes adding a backslash operator for Sage integers, so that "2 \ 3"
> will return the same as "3 / 2". Do you support this?
>
>
I'm not for or against. However, I don't see the problem that implementing
this "\" is going to solve. The ticket suggests that users will naturally
type 2\3 instead of 3/2, if I am reading between the lines correctly.


> BackslashOperator is defined in "sage/misc/misc.py", and the preparser
> converts "A \ b" to the appropriate Python code. The docstring for
> BackslashOperator says "Implements Matlab-style backslash operator for
> solving systems A \ b".
>
> It seems pretty innocuous to me — in fact I don't care much either way —
> but since Sage integers are so ubiquitous, it seems like a good idea to ask
> before implementing it.
>
> --
> John
>
> --
> 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/3f157aa4-74cd-4c5c-bc76-f198c6417432n%40googlegroups.com
> 
> .
>

-- 
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/CAEQuuAXnzoHr2p%3DnyShdeV1y0EqsSUX77dzxBvg2mMLFk2KCFw%40mail.gmail.com.

Re: [sage-devel] ping - please cast you vote: VOTE: Follow NEP 29: Recommended Python version

[David Joyner]

On Tue, May 30, 2023 at 5:15 AM Dima Pasechnik  wrote:

> So far we only had very few votes cast.
>
>
I vote for following NEP 29, or, at the very least, staying as coordinated
with numpy as possible.


> Once again, I think we should close ranks with the rest of scientific
> python people and start following NEP 29.
> We have much more urgent stuff to work on - buggy Pynac, buggy Singular
> interface, etc, than the Python 3.8 retrocomputing.
>
> Dima
>
> --
> 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/CAAWYfq1jJgs-mux97LcTR75ZgaQQDGZ6uGKUCkyfEyDAp1rqoQ%40mail.gmail.com
> 
> .
>

-- 
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/CAEQuuAVMaBrn_0nQ-Q-fn1cor_%3Dqnf8L7ZivtwvOH28VODasyw%40mail.gmail.com.

Re: [sage-devel] web site from cocalc but in our domain

[David Joyner]

On Tue, Apr 25, 2023 at 5:00 AM dmo...@deductivepress.ca <
dmor...@deductivepress.ca> wrote:

> FYI: There is a link to https://www.sagemath.org/ on the cocalc homepage
> <https://cocalc.com/>.  It is near the bottom, in the section of "Available
> Tools" under the sagemath logo and the title *Sage Worksheets:* "Sage
> Worksheets <https://doc.cocalc.com/sagews.html> are similar to Jupyter
> Notebooks, but made to work well with SageMath <https://www.sagemath.org/>.
> They offer a single-document model that scales to large documents and
> integrated 3d graphics."
>
>
Thanks, I missed that.


> On Tuesday, April 25, 2023 at 2:45:45 AM UTC-6 David Joyner wrote:
>
>> On Tue, Apr 25, 2023 at 3:23 AM Dima Pasechnik  wrote:
>>
>>>
>>>
>>> On Tue, 25 Apr 2023, 07:09 Frédéric Chapoton, 
>>> wrote:
>>>
>>>> Hello,
>>>>
>>>> I have recently found:
>>>> https://sage.sagemath.org/
>>>> which seems to be advertisment for cocalc.
>>>>
>>>> Is this something we allowed ?
>>>>
>>>
>>> IMHO it should be taken down. We do mention cocalc as a way to run Sage
>>> in our docs, but this one is a set too far - the kind of advertising I
>>> personally find annoying.
>>>
>>>
>> I don't understand the issue.
>>
>> The site cocalc.com has been a link in the upper right-hand corner of
>> the main SageMath webpage for quite some time. Wouldn't that, which
>> *can* be construed as an ad, be the thing that annoys you and Frederic
>> more?
>>
>> I would think the annoying thing wouldn't be the implicit ad for cocalc
>> (which BTW doesn't bother me) but that cocalc.com doesn't appear
>> to link back to the SageMath main site. At least, I couldn't find it in
>> a quick perusal.
>>
>>  Just seeking clarity, out of curiosity.
>>
>>
>>> Dima
>>>
>>> Frédéric
>>>>
>>>> --
>>>> 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+...@googlegroups.com.
>>>> To view this discussion on the web visit
>>>> https://groups.google.com/d/msgid/sage-devel/e241fb17-113d-4345-b931-c413827eda98n%40googlegroups.com
>>>> <https://groups.google.com/d/msgid/sage-devel/e241fb17-113d-4345-b931-c413827eda98n%40googlegroups.com?utm_medium=email_source=footer>
>>>> .
>>>>
>>> --
>>> 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+...@googlegroups.com.
>>>
>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/sage-devel/CAAWYfq2y2ayEXeufRx%2Bu_1W%2BcN6iYji1%2BdcOBdcpnoxVA91JEQ%40mail.gmail.com
>>> <https://groups.google.com/d/msgid/sage-devel/CAAWYfq2y2ayEXeufRx%2Bu_1W%2BcN6iYji1%2BdcOBdcpnoxVA91JEQ%40mail.gmail.com?utm_medium=email_source=footer>
>>> .
>>>
>> --
> 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/9d40c63e-e9ef-4c94-a18f-986ec345da42n%40googlegroups.com
> <https://groups.google.com/d/msgid/sage-devel/9d40c63e-e9ef-4c94-a18f-986ec345da42n%40googlegroups.com?utm_medium=email_source=footer>
> .
>

-- 
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/CAEQuuAXB9k8L5mv2wTpCWAtUT1JdnTECMkxXAQRAvA0mpiOX9w%40mail.gmail.com.

Re: [sage-devel] web site from cocalc but in our domain

[David Joyner]

On Tue, Apr 25, 2023 at 3:23 AM Dima Pasechnik  wrote:

>
>
> On Tue, 25 Apr 2023, 07:09 Frédéric Chapoton, 
> wrote:
>
>> Hello,
>>
>> I have recently found:
>> https://sage.sagemath.org/
>> which seems to be advertisment for cocalc.
>>
>> Is this something we allowed ?
>>
>
> IMHO it should be taken down. We do mention cocalc as a way to run Sage in
> our docs, but this one is a set too far - the kind of advertising I
> personally find annoying.
>
>
I don't understand the issue.

The site cocalc.com has been a link in the upper right-hand corner of
the main SageMath webpage for quite some time. Wouldn't that, which
*can* be construed as an ad, be the thing that annoys you and Frederic
more?

I would think the annoying thing wouldn't be the implicit ad for cocalc
(which BTW doesn't bother me) but that cocalc.com doesn't appear
to link back to the SageMath main site. At least, I couldn't find it in
a quick perusal.

 Just seeking clarity, out of curiosity.


> Dima
>
> Frédéric
>>
>> --
>> 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/e241fb17-113d-4345-b931-c413827eda98n%40googlegroups.com
>> 
>> .
>>
> --
> 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/CAAWYfq2y2ayEXeufRx%2Bu_1W%2BcN6iYji1%2BdcOBdcpnoxVA91JEQ%40mail.gmail.com
> 
> .
>

-- 
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/CAEQuuAVEzbL2kcOKheR9YzpTJAKrEdYM4CO_9zKAzTk%3Di5pMBg%40mail.gmail.com.

Re: [sage-combinat-devel] implementing covering arrays

[David Joyner]

On Thu, Mar 2, 2023 at 12:11 PM brett stevens  wrote:

> We have completed our initial implementation of covering arrays with basic
> methods.  It is ready for review and we are looking for reviewers.  The
> pull request is here:
>
> https://github.com/sagemath/sage/pull/35008
>
>
Againi, I'm cc'ing sage-devel in case there is someone competent to review
your code there. (FYI, If Nathann Cohen was the author of the OA code,
AFAIK he is no longer with SageMath.)



> brett
>
> On Monday, June 6, 2022 at 1:44:33 PM UTC-4 brett stevens wrote:
>
>> Thanks David.  I wanted to additionally flag our second question:
>>
>> > - Would it additionally be useful to re-implement orthogonal arrays as
>> a child class of a covering arrays class and move the orthogonal array
>> methods into that class? What would be the least disruptive way to do this?
>>
>> because we know that this would involve modifying code that other people
>> have written and invested time and effort into.  I think there are
>> advantages to having OAs be a class but I would be happier with the change
>> in approach being approved by some of the original implementers of the OA
>> source code.
>>
>> thanks
>> brett
>> On Tuesday, May 31, 2022 at 3:56:08 PM UTC-4 David Joyner wrote:
>>
>>> On Mon, May 30, 2022 at 2:35 PM brett stevens 
>>> wrote:
>>> >
>>> > Myself and my M.Sc. student Aaron Dwyer are interested in adding
>>> covering arrays to sagemath in the design theory code. We have been
>>> reviewing the orthogonal array code as guidance and have some questions for
>>> sage-combinat-devel community.
>>> >
>>> > - We note that orthogonal arrays are not implemented as a class. Our
>>> initial thoughts were to implement covering arrays as a class. What do you
>>> all think about that?
>>> >
>>>
>>> This sounds okay to me, however, I'm ccing sage-devel in case some
>>> experts aren't subscribed to this list.
>>>
>>> > - Would it additionally be useful to re-implement orthogonal arrays as
>>> a child class of a covering arrays class and move the orthogonal array
>>> methods into that class? What would be the least disruptive way to do this?
>>> >
>>> > - We know that in sagemath development it is often a good idea to make
>>> small patches that are easy to review and edit. Would the right initial
>>> things to implement be the necessary class structure, documentation,
>>> self-checker (analogous to ```is_t_design``` in ```block_design```),
>>> formatted print and output to equivalent objects like a group divisible
>>> covering design?
>>> >
>>> > - One of our more substantive goals is to implement the perfect hash
>>> family and covering perfect hash family constructions. We are happy to hear
>>> what other people think would be important methods to implement for in a
>>> covering array class.
>>> >
>>> > brett stevens
>>> > Aaron Dwyer
>>> >
>>> > --
>>> > You received this message because you are subscribed to the Google
>>> Groups "sage-combinat-devel" group.
>>> > To unsubscribe from this group and stop receiving emails from it, send
>>> an email to sage-combinat-d...@googlegroups.com.
>>> > To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/sage-combinat-devel/8926605c-d908-4d97-bdd7-2bd9bb552040n%40googlegroups.com.
>>>
>>>
>> --
> You received this message because you are subscribed to the Google Groups
> "sage-combinat-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-combinat-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-combinat-devel/4d18c48c-b87f-40cd-af10-8094570519a7n%40googlegroups.com
> <https://groups.google.com/d/msgid/sage-combinat-devel/4d18c48c-b87f-40cd-af10-8094570519a7n%40googlegroups.com?utm_medium=email_source=footer>
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-combinat-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-combinat-devel/CAEQuuAX-WROUC7kvHTvWPeX%3Dp7fSj_opaA4su_uUVgr6Ltf6OQ%40mail.gmail.com.

[sage-devel] Re: [sage-combinat-devel] implementing covering arrays

[David Joyner]

On Thu, Mar 2, 2023 at 12:11 PM brett stevens  wrote:

> We have completed our initial implementation of covering arrays with basic
> methods.  It is ready for review and we are looking for reviewers.  The
> pull request is here:
>
> https://github.com/sagemath/sage/pull/35008
>
>
Againi, I'm cc'ing sage-devel in case there is someone competent to review
your code there. (FYI, If Nathann Cohen was the author of the OA code,
AFAIK he is no longer with SageMath.)



> brett
>
> On Monday, June 6, 2022 at 1:44:33 PM UTC-4 brett stevens wrote:
>
>> Thanks David.  I wanted to additionally flag our second question:
>>
>> > - Would it additionally be useful to re-implement orthogonal arrays as
>> a child class of a covering arrays class and move the orthogonal array
>> methods into that class? What would be the least disruptive way to do this?
>>
>> because we know that this would involve modifying code that other people
>> have written and invested time and effort into.  I think there are
>> advantages to having OAs be a class but I would be happier with the change
>> in approach being approved by some of the original implementers of the OA
>> source code.
>>
>> thanks
>> brett
>> On Tuesday, May 31, 2022 at 3:56:08 PM UTC-4 David Joyner wrote:
>>
>>> On Mon, May 30, 2022 at 2:35 PM brett stevens 
>>> wrote:
>>> >
>>> > Myself and my M.Sc. student Aaron Dwyer are interested in adding
>>> covering arrays to sagemath in the design theory code. We have been
>>> reviewing the orthogonal array code as guidance and have some questions for
>>> sage-combinat-devel community.
>>> >
>>> > - We note that orthogonal arrays are not implemented as a class. Our
>>> initial thoughts were to implement covering arrays as a class. What do you
>>> all think about that?
>>> >
>>>
>>> This sounds okay to me, however, I'm ccing sage-devel in case some
>>> experts aren't subscribed to this list.
>>>
>>> > - Would it additionally be useful to re-implement orthogonal arrays as
>>> a child class of a covering arrays class and move the orthogonal array
>>> methods into that class? What would be the least disruptive way to do this?
>>> >
>>> > - We know that in sagemath development it is often a good idea to make
>>> small patches that are easy to review and edit. Would the right initial
>>> things to implement be the necessary class structure, documentation,
>>> self-checker (analogous to ```is_t_design``` in ```block_design```),
>>> formatted print and output to equivalent objects like a group divisible
>>> covering design?
>>> >
>>> > - One of our more substantive goals is to implement the perfect hash
>>> family and covering perfect hash family constructions. We are happy to hear
>>> what other people think would be important methods to implement for in a
>>> covering array class.
>>> >
>>> > brett stevens
>>> > Aaron Dwyer
>>> >
>>> > --
>>> > You received this message because you are subscribed to the Google
>>> Groups "sage-combinat-devel" group.
>>> > To unsubscribe from this group and stop receiving emails from it, send
>>> an email to sage-combinat-d...@googlegroups.com.
>>> > To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/sage-combinat-devel/8926605c-d908-4d97-bdd7-2bd9bb552040n%40googlegroups.com.
>>>
>>>
>> --
> You received this message because you are subscribed to the Google Groups
> "sage-combinat-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-combinat-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-combinat-devel/4d18c48c-b87f-40cd-af10-8094570519a7n%40googlegroups.com
> <https://groups.google.com/d/msgid/sage-combinat-devel/4d18c48c-b87f-40cd-af10-8094570519a7n%40googlegroups.com?utm_medium=email_source=footer>
> .
>

-- 
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/CAEQuuAX-WROUC7kvHTvWPeX%3Dp7fSj_opaA4su_uUVgr6Ltf6OQ%40mail.gmail.com.

Re: [sage-devel] I am being (almost) banned from posting on sage-* groups

[David Joyner]

Hi Dima:

Maybe the google groups interface is buggy? If memory serves, I've had to
approve you several times in the past, but none recently that I can recall.

- David J



On Wed, Mar 1, 2023 at 4:20 AM Dima Pasechnik  wrote:

> I tried to send a reply by email to a message on sage-support
> It was rejected by Google:
>
>
> Message not delivered
> There was a problem delivering your message to
> *sage-supp...@googlegroups.com*. See the technical details below.
> LEARN MORE 
> [image: Warning]This link will take you to a third-party site
>
> The response was:
>
> Message rejected by Google Groups. Please visit
> http://mail.google.com/support/answer/188131?hl=en to review our Bulk
> Email Senders Guidelines.
>
> OK, I replied using Groups interface. The 1st message went through.
>
> A followup was automatically deleted, no copy left anywhere, just
>
> "message has been deleted" (sic!)
>
>
> I tried to complain about this on sage-devel, via email. The message was
> blocked just as the one above.
>
> High time to move to another platform, I think.
>
> Dima
>
>
> --
> 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/33c28e1e-d177-41ba-b7d7-aa52c9838459n%40googlegroups.com
> 
> .
>

-- 
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/CAEQuuAUwPzmA8pt-pYfYW8BOh0CkJCp%3Df%3DarrP0o520n7ZnfGw%40mail.gmail.com.

Re: [sage-devel] Migrated repo ready for review on GitHub.com

[David Joyner]

On Sat, Feb 4, 2023 at 7:22 AM Kwankyu Lee  wrote:
>
> 2) GitHub nathanncohen is a real GitHub account, not a mannequin - and
> it corresponds to Trac's ncohen just fine.
>
> Perhaps he didn't respond to the recent invitation.
>

Dima would know better than I, but my guess is that Nathann Cohen has
dropped out of SageMath development.

> --
> 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/a9ae0a4f-a9a7-45d1-9087-5081ad6527d2n%40googlegroups.com.

-- 
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/CAEQuuAVbx%2BzXMhA-ut_oOUuxwPB6_epa1sCwaP5o22rNgJ9P_A%40mail.gmail.com.

Re: [sage-devel] online talk about the github workflow

[David Joyner]

Hi Vincent:
Will this be recorded and posted on youtube,
or something like that?
- David


On Thu, Feb 2, 2023 at 4:23 PM Vincent Delecroix <20100.delecr...@gmail.com>
wrote:

> Dear all,
>
> As part of the sage days 117 (https://wiki.sagemath.org/days117)
> Matthias Köppe will give on online talk about the new github workflow
> for SageMath development. It will happen on Monday Feb 6th at 17:30
> CET (= UTC+1). For those who want to join, it will happen on
>
> https://webconf.u-bordeaux.fr/b/vin-g33-6qy
>
> Best wishes,
> Vincent
>
> --
> 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/CAGEwAAmfW7JCxos%3DO7-Ds_pnd7Z9e_o22qsShqiBOMFhu8ngOw%40mail.gmail.com
> .
>

-- 
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/CAEQuuAXiQqU-3ihs%2Bby4uBEw8McH4EuXrGCv7gm3YYMrYn5Gmw%40mail.gmail.com.

Re: [sage-devel] Solving a system of linear equations with complex numbers yields false solution

[David Joyner]

On Sun, Oct 9, 2022 at 3:25 AM Florian Königstein  wrote:
>
> I have equations for the analysis of an electric circuit. They contain at 
> several places the term w*I (I is the imaginary unit). I get a solution for 
> the currents I1, I2, I3, I4. Then I substitute the solution into the 
> equations, but I see that two of the four equations are not fulfilled:
>
> var('L1 L2 L3 L4 C1 C2 C3 C4 M23 I1 I2 I3 I4 U w p RL')
>
> lsg = solve([I1*(w*I*L1 + 1/(w*I*C1)) + I2*(-1/(w*I*C1) ) == U, \
>  I2*(w*I*L2 + 1/(w*I*C1) + 1/(w*I*C2)) + I3*(w*I*M23 - 
> 1/(w*I*C2)) + I1*(- 1/(w*I*C1)) == 0, \
>  I3*(1/(w*I*C3) + w*I*L3 + 1/(w*I*C2)) + I2*(w*I*M23 - 
> 1/(w*I*C2)) - I4/(w*I*C3) == 0, \
>  I4/(w*I*C3) + I4*RL - I3/(w*I*C3) == 0], \
>  [I1, I2, I3, I4])
>
> param = [w==1, U==1, C1==1, C2==1, C3==1, C4==1, L1==1, L2==1, L3==1, L4==1, 
> RL==1, M23==0]
> I1 = I1.subs(lsg).subs(param)
> I2 = I2.subs(lsg).subs(param)
> I3 = I3.subs(lsg).subs(param)
> I4 = I4.subs(lsg).subs(param)
>
> eqn = [I1*(w*I*L1 + 1/(w*I*C1)) + I2*(-1/(w*I*C1) ) == U, \
>I2*(w*I*L2 + 1/(w*I*C1) + 1/(w*I*C2)) + I3*(w*I*M23 - 1/(w*I*C2)) + 
> I1*(- 1/(w*I*C1)) == 0, \
>I3*(1/(w*I*C3) + w*I*L3 + 1/(w*I*C2)) + I2*(w*I*M23 - 1/(w*I*C2)) - 
> I4/(w*I*C3) == 0, \
>I4/(w*I*C3) + I4*RL - I3/(w*I*C3) == 0]
>
> print("I1=", I1)
> print("I2=", I2)
> print("I3=", I3)
> print("I4=", I4)
> [eq.subs(param) for eq in eqn]
>
> Output (unexpected):
>
> I1= 1
> I2= -I
> I3= -2
> I4= I - 1
> [1 == 1, (-I - 1) == 0, I == 0, 0 == 0]
>
> I have copied and pasted the equations from within the solve() command into 
> the eqn = ... statement. So they are guaranteed to be equal.
>
> Because I have set M23=0 in the parameters, I could remove the terms with M23 
> in the equations. Then I get the correct solution. I don't understand why not 
> when M23 is present.
>

I think you essentially answered your own question. IMHO, the symbolic
solver implicitly assumes a symbolic parameter is non-zero when
solving for the other variables. It looks like your equations are
linear in the variables to be solved for and so the solver is using
row reduction at some point., which of course involves divisions by
(presumably non-zero) expressions in the parameters.

> Another way to get the correct solution is replacing w*I with p in the 
> equations and setting p=I in the parameters:
>
> var('L1 L2 L3 L4 C1 C2 C3 C4 M23 I1 I2 I3 I4 U w p RL')
>
> lsg = solve([I1*(p*L1 + 1/(p*C1)) + I2*(-1/(p*C1) ) == U, \
>  I2*(p*L2 + 1/(p*C1) + 1/(p*C2)) + I3*(p*M23 - 1/(p*C2)) + I1*(- 
> 1/(p*C1)) == 0, \
>  I3*(1/(p*C3) + p*L3 + 1/(p*C2)) + I2*(p*M23 - 1/(p*C2)) - 
> I4/(p*C3) == 0, \
>  I4/(p*C3) + I4*RL - I3/(p*C3) == 0], \
>  [I1, I2, I3, I4])
>
> param = [p==I, U==1, C1==1, C2==1, C3==1, C4==1, L1==1, L2==1, L3==1, L4==1, 
> RL==1, M23==0]
> I1 = I1.subs(lsg).subs(param)
> I2 = I2.subs(lsg).subs(param)
> I3 = I3.subs(lsg).subs(param)
> I4 = I4.subs(lsg).subs(param)
>
> eqn = [I1*(p*L1 + 1/(p*C1)) + I2*(-1/(p*C1) ) == U, \
>I2*(p*L2 + 1/(p*C1) + 1/(p*C2)) + I3*(p*M23 - 1/(p*C2)) + I1*(- 
> 1/(p*C1)) == 0, \
>I3*(1/(p*C3) + p*L3 + 1/(p*C2)) + I2*(p*M23 - 1/(p*C2)) - I4/(p*C3) == 
> 0, \
>I4/(p*C3) + I4*RL - I3/(p*C3) == 0]
>
> print("I1=", I1)
> print("I2=", I2)
> print("I3=", I3)
> print("I4=", I4)
> [eq.subs(param) for eq in eqn]
>
> Output as expected:
>
> I1= 1
> I2= -I
> I3= -I - 1
> I4= -1
> [1 == 1, 0 == 0, 0 == 0, 0 == 0]
>
> When not inserting the numeric parameters, I get the solution in dependence 
> of p (or w), U, C1, C2, L1, L2, M12 and RL. The common denominator of the 
> currents I1, I2, I3, I4 should be the determinant of the matrix (up to a 
> constant factor) if you would write the system in matrix-times-vector form. 
> The denominator is correct both if I use p in the system and if I use I*w 
> instead of p. But the numerators are not correct, at least for I4.
>
> I would like the future of CAS to be in open source like sagemath, but since 
> I used Maple in the past, I begin with some code and results from Maple:
>
> Maple code:
> eqn1 := [I1*(p*L1 + 1/(p*C1)) + I2*(-1/(p*C1) ) = U,
> I2*(p*L2 + 1/(p*C1) + 1/(p*C2)) + I3*(p*M23 - 1/(p*C2)) + I1*(- 
> 1/(p*C1)) = 0,
> I3*(1/(p*C3) + p*L3 + 1/(p*C2)) + I2*(p*M23 - 1/(p*C2)) - 
> I4/(p*C3) = 0,
> I4/(p*C3) + I4*RL - I3/(p*C3) = 0]:
> eqn2 := [seq(subs(p=I*w, eqn1[i]), i=1..4)]:
> lsg1 := solve(eqn1, [I1, I2, I3, I4])[1]:
> lsg2 := solve(eqn2, [I1, I2, I3, I4])[1]:
> print(simplify((subs(p=I*w, subs(lsg1, I4)) - subs(lsg2, I4;   # 
> expected to be zero
>
> Output is zero as expected.
>
> Maple code:
> print(subs(lsg2, I4));
>
> Output:
>
> 

Re: [sage-devel] VOTE: move Sage development to Github

[David Joyner]

+1 for Github

On Wed, Sep 21, 2022 at 1:23 PM David Roe  wrote:
>
> Dear Sage developers,
> Following extensive discussion, both recently (prompted by issues upgrading 
> the trac server) and over the last decade, we are calling a vote on switching 
> Sage development from Trac to Github.  We've created a summary of the pros 
> and cons of each system, a description of the development model to be used on 
> github, and a trac ticket for coordinating work on the transition.  More work 
> will need to be done to carry out the actual transition once voting is 
> complete.
>
> The voting will last until noon Eastern time (16:00 UTC) on Wednesday, 
> October 5.  Please use this thread only for sending votes, to make it easier 
> to count them afterward; there is a parallel thread where you can make 
> arguments in favor of either system.
>
> Finally, I will close with a plea to be involved in this vote and discussion 
> even if you are not a core Sage developer.  By definition, core Sage 
> developers have become comfortable with trac, and I think that one of the 
> major arguments in favor of github is that it will help bring in new 
> contributors who are not familiar with Sage's development workfow.  Anyone 
> who has ever contributed to the Sage code base or who maintains > a Sage user 
> package is welcome to vote.
> David
>
> --
> 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/CAChs6_%3DyvZ869L66E1tFmziWDirbawSEABf_uc_j9Dy8VBFW8w%40mail.gmail.com.

-- 
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/CAEQuuAX0mmmfOCW%2BpWx4ksjWgDazHT8UyYTjJEYiQk3HgmkGKQ%40mail.gmail.com.

Re: [sage-devel] Re: On changing Bernoulli(1) to +½

[David Joyner]

On Tue, Sep 13, 2022 at 3:43 AM Jeremy Tan  wrote:
>
> A simpleton's way of getting out of the problem indeed. PARI/GP's 
> documentation says:
>

Let's play nice here, okay?

> ? ?bernvec
> bernvec(n): returns a vector containing, as rational numbers, the Bernoulli 
> numbers B_0, B_2, ..., B_{2n}.
> ? bernfrac(3)
> %2 = 0
> ? bernfrac(5)
> %3 = 0
>
> So not only B_1 but also B_3, B_5, etc. have values.
>
> Jeremy Tan / Parcly Taxel
>
> On Tuesday, 13 September 2022 at 15:03:05 UTC+8 vdelecroix wrote:
>>
>> PARI/GP actually has a better convention : only even Bernoulli numbers exist
>>
>> ? bernvec(5)
>> %1 = [1, 1/6, -1/30, 1/42, -1/30, 5/66]
>>
>> And the two conventions can be recovered as evaluations of Bernoulli
>> polynomials at 0 and 1 respectively
>>
>> ? [subst(bernpol(n), x, 0) | n <- [1..6]]
>> %2 = [-1/2, 1/6, 0, -1/30, 0, 1/42]
>> ? [subst(bernpol(n), x, 1) | n <- [1..6]]
>> %3 = [1/2, 1/6, 0, -1/30, 0, 1/42]
>>
>> I second Edgar that I don't see much of the point on doing this
>> change. If we had to do any change I would suggest to raise an error
>> when bernoulli(n) is called with n=1 so that nobody could complain
>> about sage convention choices.
>>
>> Vincent
>
> --
> 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/57e2bd6c-98eb-4617-928b-feea43fce978n%40googlegroups.com.

-- 
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/CAEQuuAXRBOF_zM7r0U2ipkfORzQhxg5-dACdJWeqsk7p1xFdng%40mail.gmail.com.

Re: [sage-devel] On changing Bernoulli(1) to +½

[David Joyner]

On Mon, Sep 12, 2022 at 11:24 AM davida...@gmail.com
 wrote:
>
> >  Why don't we create a B+ and a B-?
>
> This was one of the idea of the ticket 
> https://trac.sagemath.org/ticket/34521.  A new option to the bernoulli 
> function was added ("plus=False"), giving the option to the user to choose 
> their prefered value. However, I think that the ticket was set to invalid and 
> closed prematurely without any possibility for a meaningful discussion. I 
> think that the debate here would be: what is the default value of this new 
> option. There is two choices:
>
> "plus=False": bernoulli(1) = -1/2, nothing changes.
> "plus=True": bernoulli(1) = +1/2 (new value). Deprecation needs to be 
> implemented.
>
> The choice two was chosen in ticket #34521. If two is chosen, I believe that, 
> as mentioned by William, there should be a 1-year deprecation period before 
> the change actually takes place. However, if the community prefer (1), I 
> believe this can be done also (discussion is useful). In any case, I think 
> that something should be done about this, because FLINT has been changed to 
> return +1/2 (and FLINT is the default for small Bernoulli numbers)
>

My vote is for (1) for 2 reasons. (a) It makes it clear the SageMath
community acknowledges there is no clear standard. (b) The ticket is
relatively easy to implement since it won't break anything.

Once implemented, debate on the default behavior can be moved to a new
ticket, if desired.

> David A.
>
> Le lundi 12 septembre 2022 à 10:51:15 UTC-4, David Joyner a écrit :
>>
>> On Mon, Sep 12, 2022 at 9:49 AM Dima Pasechnik  wrote:
>> >
>> > On Mon, Sep 12, 2022 at 2:21 PM Jeremy Tan  wrote:
>> > >
>> > > Perhaps I need your help, William. The associated trac ticket 
>> > > https://trac.sagemath.org/ticket/34521 was marked invalid offhand by the 
>> > > release manager Frédéric Chapoton despite me managing to fix all the 
>> > > doctests simply and the ticket itself not conflicting with any Sage 
>> > > policies.
>> > >
>> > > He claims that "Mr Luschny has not published any mathematical article" – 
>> > > but his manifesto is indistinguishable from an article in letter from 
>> > > (it is a reply to Donald Knuth) and his introduction to the Bernoulli 
>> > > function is even more of an article. I believe I have responded in kind 
>> > > to his claim that B_1 = -½ is "standard".
>> > >
>> > > There must be a way to get Chapoton out of the way here so we can effect 
>> > > the deprecation.
>> >
>>
>> I'm probably too late on this, but I'd like to suggest a sort of compromise:
>>
>> According to wikipedia, there is no standard. There's a B+ (favored by
>> NIST and "modern authors") and a B- (favored by Donald Knuth some others).
>> Why don't we create a B+ and a B-? This will make the OP happy.
>> To make William Stein happy (or happiest), we (temporarily?) set B=B+, so
>> he doesn't have to change any code.
>>
>>
>> > Frederic has not been helpful here, unfortunately - sorry, Jeremy.
>> > I've made a comment to this effect on the ticket. People communicated
>> > here on the topic, it was deemed to have a merit, and closing tickets
>> > like this is just putting people off.
>> >
>> > Dima
>> >
>> > >
>> > > On Sunday, 11 September 2022 at 01:49:48 UTC+8 wst...@gmail.com wrote:
>> > >>
>> > >> On Sat, Sep 10, 2022 at 10:04 AM davida...@gmail.com
>> > >>  wrote:
>> > >> >
>> > >> > > I'm curious if the change breaks any code anywhere else in Sage 
>> > >> > > (e.g., maybe for computing q-expansions of modular forms?)...
>> > >> >
>> > >> > You guessed right. I did a quick local change to the bernoulli 
>> > >> > function and it indeed breaks some tests in sage/modular/modform:
>> > >>
>> > >> I created all of the files listed below. My guess is that code for
>> > >> computing q-expansions of Eisenstein series assume B(1) is what it is,
>> > >> and one would just need to change that code by changing a sign
>> > >> somewhere.
>> > >>
>> > >> William
>> > >>
>> > >> >
>> > >> > ~/sage$ ./sage -t src/sage/modular/modform
>> > >> > sage -t --random-seed=279226112023210448433794639443228726052 
>> > >> > src/sag

Re: [sage-devel] On changing Bernoulli(1) to +½

[David Joyner]

On Mon, Sep 12, 2022 at 9:49 AM Dima Pasechnik  wrote:
>
> On Mon, Sep 12, 2022 at 2:21 PM Jeremy Tan  wrote:
> >
> > Perhaps I need your help, William. The associated trac ticket 
> > https://trac.sagemath.org/ticket/34521 was marked invalid offhand by the 
> > release manager Frédéric Chapoton despite me managing to fix all the 
> > doctests simply and the ticket itself not conflicting with any Sage 
> > policies.
> >
> > He claims that "Mr Luschny has not published any mathematical article" – 
> > but his manifesto is indistinguishable from an article in letter from (it 
> > is a reply to Donald Knuth) and his introduction to the Bernoulli function 
> > is even more of an article. I believe I have responded in kind to his claim 
> > that B_1 = -½ is "standard".
> >
> > There must be a way to get Chapoton out of the way here so we can effect 
> > the deprecation.
>

I'm probably too late on this, but I'd like to suggest a sort of compromise:

According to wikipedia, there is no standard. There's a B+ (favored by
NIST and "modern authors") and a B- (favored by Donald Knuth some others).
Why don't we create a B+ and a B-? This will make the OP happy.
To make William Stein happy (or happiest), we (temporarily?) set B=B+, so
he doesn't have to change any code.


> Frederic has not been helpful here, unfortunately - sorry, Jeremy.
> I've made a comment to this effect on the ticket. People communicated
> here on the topic, it was deemed to have a merit, and closing tickets
> like this is just putting people off.
>
> Dima
>
> >
> > On Sunday, 11 September 2022 at 01:49:48 UTC+8 wst...@gmail.com wrote:
> >>
> >> On Sat, Sep 10, 2022 at 10:04 AM davida...@gmail.com
> >>  wrote:
> >> >
> >> > > I'm curious if the change breaks any code anywhere else in Sage (e.g., 
> >> > > maybe for computing q-expansions of modular forms?)...
> >> >
> >> > You guessed right. I did a quick local change to the bernoulli function 
> >> > and it indeed breaks some tests in sage/modular/modform:
> >>
> >> I created all of the files listed below. My guess is that code for
> >> computing q-expansions of Eisenstein series assume B(1) is what it is,
> >> and one would just need to change that code by changing a sign
> >> somewhere.
> >>
> >> William
> >>
> >> >
> >> > ~/sage$ ./sage -t src/sage/modular/modform
> >> > sage -t --random-seed=279226112023210448433794639443228726052 
> >> > src/sage/modular/modform/ambient.py # 1 doctest failed
> >> > sage -t --random-seed=279226112023210448433794639443228726052 
> >> > src/sage/modular/modform/element.py # 11 doctests failed
> >> > sage -t --random-seed=279226112023210448433794639443228726052 
> >> > src/sage/modular/modform/ambient_g1.py # 1 doctest failed
> >> > sage -t --random-seed=279226112023210448433794639443228726052 
> >> > src/sage/modular/modform/eisenstein_submodule.py # 4 doctests failed
> >> > sage -t --random-seed=279226112023210448433794639443228726052 
> >> > src/sage/modular/modform/ring.py # 3 doctests failed
> >> > sage -t --random-seed=279226112023210448433794639443228726052 
> >> > src/sage/modular/modform/constructor.py # 1 doctest failed
> >> >
> >> >
> >> > However, I would be in favor for this change. I would also be glad to 
> >> > lend a hand for fixing those doctests.
> >> > Le samedi 10 septembre 2022 à 12:50:44 UTC-4, wst...@gmail.com a écrit :
> >> >>
> >> >> On Sat, Sep 10, 2022 at 7:17 AM Jeremy Tan  wrote:
> >> >> >
> >> >> > My name is Jeremy Tan, or Parcly Taxel in the furry/MLP art scene. As 
> >> >> > of this post I am a recent graduate from the National University of 
> >> >> > Singapore with two degrees in maths and computer science.
> >> >> >
> >> >> > Over the past month I had a good read of Peter Luschny's Bernoulli 
> >> >> > Manifesto (http://luschny.de/math/zeta/The-Bernoulli-Manifesto.html) 
> >> >> > and was thoroughly convinced that B_1 (the first Bernoulli number) 
> >> >> > has to be +½, not -½. (Much of Luschny's argument centres on being 
> >> >> > able to (1) interpolate the Bernoulli numbers when B_1 = +½ with an 
> >> >> > entire function intimately related to the zeta function, and (2) 
> >> >> > extend the range of validity of or simplify several important 
> >> >> > equations like the Euler–Maclaurin formula. Have a read yourself 
> >> >> > though – it is close to divine truth.)
> >> >> >
> >> >> > So I went to SymPy – one of SageMath's dependencies, and where a 
> >> >> > discussion on this topic was open 
> >> >> > (https://github.com/sympy/sympy/issues/23866) – and successfully 
> >> >> > merged several PRs there (https://github.com/sympy/sympy/pull/23926) 
> >> >> > implementing both that change and some functions in Luschny's "An 
> >> >> > introduction to the Bernoulli function" 
> >> >> > (https://arxiv.org/abs/2009.06743).
> >> >> >
> >> >> > I thought I was also done with changing B_1 = +½ for SageMath, but 
> >> >> > then someone pointed out that the latter currently uses other 
> >> >> > libraries that all have B_1 = -½. 

Re: [sage-devel] Please add your GitHub account name to the SageMath contributor info

[David Joyner]

On Mon, Sep 12, 2022 at 8:12 AM Matthias Koeppe
 wrote:
>
> Dear Sage developers (current and past):
>
> The SageMath developer map (https://www.sagemath.org/development-map.html) 
> needs your updated information.
>
> In particular, motivated by the proposed migration from Trac to GitHub 
> Issues/PRs (https://trac.sagemath.org/ticket/30363), we will need your GitHub 
> account name by September 26.
> (If you don't have a GitHub account yet, now is a great time to open one.)
>
> The source code of the Sage website is maintained in the GitHub repository 
> https://github.com/sagemath/website; to add yourself or to update your 
> information shown in the development map, edit the file 
> https://github.com/sagemath/website/blob/master/conf/contributors.xml and 
> send a pull request (PR).
> - For your GitHub user name, use the "github" attribute.
> - For your (legacy) Trac user name, use the "trac" attribute. If you already 
> use a GitHub login for Trac, i.e., your Trac user name starts with "gh-", 
> there is no need to add the "trac" attribute.
> - If you have a Gitlab.com account, you can also add that if you want, using 
> the "gitlab" attribute.
>
> You can do all of this editing directly on GitHub by clicking the "Edit" 
> button; or, if you prefer, you can fork the repository, clone it to your 
> computer, edit it there, commit the change, push it to your fork, and send a 
> PR.
>

Done (and hopefully correctly:-)

> We would also like to consolidate the Sage developer map information with the 
> information currently at 
> https://trac.sagemath.org/#AccountNamesMappedtoRealNames; if your name 
> appears on this Trac page, please help us by doing the following:
> - review the information there, move it to the contributors.xml file, and 
> then delete it from the Trac page.
>
>
>
> --
> 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/acf337af-35a6-4efb-a16c-bcb32863a78dn%40googlegroups.com.

-- 
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/CAEQuuAVmWmf_U0cwNZ%3Dcn-3N_h4mSU%2BQ%3DbEBYM9eqj4rNyyC1A%40mail.gmail.com.

Re: [sage-devel] Trac #34152 needs you (to vote)!

[David Joyner]

Can I give my (proxy) vote to Dima?

On Tue, Aug 23, 2022 at 7:38 PM François Bissey  wrote:
>
> Hi all,
>
> https://trac.sagemath.org/ticket/34152 needs help to decide what solution we 
> implement going forward.
>
> The ticket is concerned with updating the bootstrap process by removing the 
> current need for gettext and replacing it with gnulib 
> (https://www.gnu.org/software/gnulib). gnulib is not a regular software 
> library but a collection of bits and pieces to help portability across 
> platforms.
>
> The issue at hand is how do we include and use gnulib in sagemath.
> Matthias Koeppe and Dima Pasechnik have been arguing for several weeks and 
> across most of the ~250 comments of the ticket about the way to proceed. At 
> some point it became clear that they would not agree and would need 
> arbitration. This is what this post is about, I am inviting the sagemath 
> community to weigh in and decide the issue.
>
> The ticket summary has been updated with summaries of the problem and of both 
> options along with links to branches implementing them. I would not recommend 
> diving in the comment section.
>
> There are 3 (three) options to choose from, one from Matthias, one from Dima 
> and a hybrid approach they tried to create.
>
> -- copy files --
>
> Follows approach 3 of the Gnulib manual section 'Integration with Version 
> Control Systems'.
> 5 files, in config/ and m4/, total 112 KB, have been imported by using 
> `gnulib-tool import iconv` and committed to the branch.
> Matches our practice with imported files `m4/ax_*.m4` from autoconf-archive. 
> Different from our practice with SPKGs because the files are needed to 
> generate the configure script.
> Introduces no new dependency.
> Burden on a developer who authors an update ticket for these files: Obtain 
> gnulib by cloning the repo, then re-run gnulib-tool import, remove unneeded 
> files (that's where #29549 went wrong), commit the changes. (Updates are 
> expected to be necessary only very rarely.)
> Burden on users and other developers: None.
> dimpase's criticism of this approach: "gnulib's code is not Sage's code, it 
> has no place in Sage git tree; this way, updating the imported gnulib files 
> is tricky and error-prone by design".
>
> -- sage pseudo package --
>
> Follows approach 2(C) of the Gnulib manual section 'Integration with Version 
> Control Systems', but instead of using Gnulib's Programs for developing in 
> Git checkouts, implements its own script (making checkout much faster, as 
> full gnulib checkout is 250 MB).
> Introduces a new (although one can't really do Sage development without git 
> installed) dependency on git and on availability of internet connection at 
> the first run of ./bootstrap in a tree, to pull 83 MB (fair to say that 
> internet is needed for Sage development a lot, anyway).
> Burden on a developer who authors an update ticket for these files: Edit the 
> bootstrap file to change the commit hash, verify that the list of files 
> removed by make bootstrap-clean is still correct, commit this change
> Burden on other users: a pseudo-package needs to be installed once (and 
> updated, automatically)
> mkoeppe's criticism of this approach: "Having bootstrap operate a 
> multi-megabyte git clone (on the 1st install and when there's a change of the 
> gnulib commit hash) in the upstream/ directory increases complexity for no 
> benefit."
>
> -- hybrid --
>
> Resolves the criticism on the "copy files" approach: "updating the imported 
> gnulib files" is now assisted by the spkg-src script (adapted from dimpase's 
> branch)
> Resolves the criticism on the "Sage pseudo-package" approach: "operate a 
> multi-megabyte git clone (on the 1st install and when there's a change of the 
> gnulib commit hash)" is only done by authors of tickets that update gnulib, 
> not by general users of bootstrap.
>
> Vote is open now and will close - tentatively - on the 29th of August at 12pm 
> New Zealand time [my time zone] when I will do the tally. If no option gets a 
> majority, the voting period may be extended by a few days.
> Please vote!
> [ ] copy files
> [ ] sage pseudo package
> [ ] hybrid
>
>
> --
> 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/CAP1Dv6a4xp5a1y-idOms4yHKCG1sv%2BzO771rQ0MUxrmAfL%2BLRQ%40mail.gmail.com.

-- 
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/CAEQuuAWcQVrhzbOLWkpswsiYRHm0WoqRb7PnJWTJF-N-tFqpSw%40mail.gmail.com.

Re: [sage-devel] Fourier series expansion function: fourier_expand()

[David Joyner]

On Sun, Aug 21, 2022 at 7:11 AM Furkan Semih Dündar
 wrote:
>
> Dear All,
>
> I want to implement an easy function (afaik is lacking in Sage Math) that may 
> be called as "fourier_expand" which will return Fourier series of a function 
> (for which integrals can be calculated analytically) up to some order N. If 
> integrals cannot be calculated analytically, numerical integration might be 
> used, perhaps.
>

Some of this functionality is in the piecewise module,
https://doc.sagemath.org/html/en/reference/functions/sage/functions/piecewise.html
Does that have the functionality you want?


> I am looking for a suitable place to put this function in /src/sage directory.
>
> Any suggestions?
>
> --
> Best regards,
> https://fsemih.org
> F. Semih Dündar
>
> --
> 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/CAODtkKrcyrjfp8yJU%2BogWFqc2K1QckQeRVQr7z3LTm7DR8Hwow%40mail.gmail.com.

-- 
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/CAEQuuAXpgHXOVGkYcRRm9Jo1ZKxH9PwgmMbOXhvcJJZVw33AyA%40mail.gmail.com.

Re: [sage-devel] Proposal: make Furo a standard package

[David Joyner]

On Wed, Aug 3, 2022 at 9:29 PM Kwankyu Lee  wrote:
>
> Dear Sage developers,
>
> Furo is a clean customisable Sphinx documentation theme. It has been an 
> optional pip package since  Sage 9.7.beta2.
>
> Meanwhile we made efforts to make Furo a new theme for our documentation 
> through
>
> https://trac.sagemath.org/ticket/33601
> https://trac.sagemath.org/ticket/34252
> https://trac.sagemath.org/ticket/33833
>
> Now it is ready to replace the current Sage classic theme that makes our 
> documentation look awfully outdated. You can check the documentation with new 
> look and feel in
>
> https://2505ea042169d8a179d4b1f28a0c0baeabdd421a--sagemath-tobias.netlify.app/
>

This seems to allow dark mode when viewed in a browser on a cellphone,
which the old documentation did not seem to allow. I'm not sure how
important that is to users though.

> It would be great that Sage 9.7 will be released with the lifted-up 
> documentation.
>
> So we propose here to upgrade the Furo package to a standard package. Please 
> vote.
>
>
>
>
>
>
>
> --
> 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/f0478d5c-6005-4a30-b96e-5b9b2e37b213n%40googlegroups.com.

-- 
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/CAEQuuAU0Zu9u-C%3D%2B7iCewzrnEKf4z%3D5UznW4OuMNXKBdtvP46A%40mail.gmail.com.

Re: [sage-devel] Re: manual memory management for GAP?

[David Joyner]

On Tue, Jun 21, 2022 at 5:19 AM Dima Pasechnik  wrote:
>
> On Tue, Jun 21, 2022 at 4:06 AM Nils Bruin  wrote:
> >
> > Perhaps this message (see the thread it's in for context) applies to your 
> > situation?
> >
> > https://groups.google.com/g/sage-devel/c/ntuqDmruI8w/m/vJOv6mgqCgAJ
>
> this is outdated. However, it seems that the very old doc suggestion in
> sage/interfaces/gap.py
>
> import sage.interfaces.gap
> sage.interfaces.gap.gap_cmd = ' '
>
> could never have worked, as gap_cmd is hardcoded to "gap -r" (or whatever)
> and it cannot be overwritten like this.
>
> This is the question of the correct class interface design here, and
> I'm a bit lost.
> I think the value of gap_cmd can be set somewhere early (in sagerc?),

Can one just manually edit gap.sh in local/share/gap?
For example, will
replacing
exec "$GAP_EXE/gap" -l "$GAP_DIR" "$@"
by
exec "$GAP_EXE/gap -m 4G" -l "$GAP_DIR" "$@"
work?

> before the GAP pexcept is initialised.
> Then one could conditionally set gap_cmd to either the default value,
> or to the value in that initialisation parameter, if it was set at all.
>
> But where?
>
> Dima
>
>
>
>
>
>
> >
> > On Monday, 20 June 2022 at 19:30:04 UTC-6 AlexGhitza wrote:
> >>
> >> Thanks, John.
> >>
> >> But, I should have mentioned that we tried that and it does not seem to 
> >> work (unless I'm missing something):
> >>
> >> ┌┐
> >> │ SageMath version 9.6, Release Date: 2022-05-15 │
> >> │ Using Python 3.10.3. Type "help()" for help.   │
> >> └┘
> >> sage: gap("GAPInfo.CommandLineOptions;")
> >> rec(
> >>   [... redacted ...]
> >>   o := "2g",
> >>   [... redacted ...]
> >> )
> >> sage: sage.interfaces.gap.gap_cmd = 'gap -r -o 128G'
> >> sage: gap("GAPInfo.CommandLineOptions;")
> >> rec(
> >>   [... redacted ...]
> >>   o := "2g",
> >>   [... redacted ...]
> >> )
> >> On Tuesday, June 21, 2022 at 10:59:38 AM UTC+10 John H Palmieri wrote:
> >>>
> >>> According to 
> >>> https://ask.sagemath.org/question/61829/how-to-deal-with-gaperror-error-reached-the-pre-set-memory-limit/,
> >>>  try "sage.interfaces.gap.gap_cmd = 'gap -r -o 4G '".
> >>>
> >>> On Monday, June 20, 2022 at 5:12:27 PM UTC-7 AlexGhitza wrote:
> 
>  Hi,
> 
>  I'm trying to help out a friend who is computing automorphism groups of 
>  lattices in Sage (using GAP under the hood).  The computation is fairly 
>  long and memory-intensive and eventually results in
> 
>    sage.libs.gap.util.GAPError: Error, reached the pre-set memory limit
>    (change it with the -o command line option)
> 
>  Apparently, until late last year, achieving the desired -o command line 
>  option effect from within Sage was possible via something like
> 
>    from sage.interfaces.gap import get_gap_memory_pool_size, 
>  set_gap_memory_pool_size
>    memory_gap = get_gap_memory_pool_size()
>    set_gap_memory_pool_size(9048*memory_gap)
> 
>  Now these functions are not available anymore, due to 
>  https://trac.sagemath.org/ticket/32656
> 
>  Is it possible to achieve the same effect via some alternative method?
> 
>  Best,
>  Alex
> >
> > --
> > 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/ce56865b-55b2-4efc-b37e-f5e81875d7c1n%40googlegroups.com.
>
> --
> 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/CAAWYfq0iFEaoaWCD%2Bt_3uJniSQ5MOhD_psxPcwhcjEhKZZrZ2g%40mail.gmail.com.

-- 
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/CAEQuuAUN5w5dmVWtYzs%2BZJRP1s4gYqTxeC4o6kRiFE_-b8Y-Fw%40mail.gmail.com.

Re: [sage-combinat-devel] implementing covering arrays

[David Joyner]

On Mon, May 30, 2022 at 2:35 PM brett stevens  wrote:
>
> Myself and my M.Sc. student Aaron Dwyer are interested in adding covering 
> arrays to sagemath in the design theory code.  We have been reviewing the 
> orthogonal array code as guidance and have some questions for 
> sage-combinat-devel community.
>
> - We note that orthogonal arrays are not implemented as a class.  Our initial 
> thoughts were to implement covering arrays as a class.  What do you all think 
> about that?
>

This sounds okay to me, however, I'm ccing sage-devel in case some
experts aren't subscribed to this list.

> - Would it additionally be useful to re-implement orthogonal arrays as a 
> child class of a covering arrays class and move the orthogonal array methods 
> into that class?  What would be the least disruptive way to do this?
>
> - We know that in sagemath development it is often a good idea to make small 
> patches that are easy to review and edit.  Would the right initial things to 
> implement be the necessary class structure, documentation, self-checker 
> (analogous to ```is_t_design``` in ```block_design```), formatted print  and 
> output to equivalent objects like a group divisible covering design?
>
> - One of our more substantive goals is to implement the perfect hash family 
> and covering perfect hash family constructions.  We are happy to hear what 
> other people think would be important methods to implement for in a covering 
> array class.
>
> brett stevens
> Aaron Dwyer
>
> --
> You received this message because you are subscribed to the Google Groups 
> "sage-combinat-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to sage-combinat-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-combinat-devel/8926605c-d908-4d97-bdd7-2bd9bb552040n%40googlegroups.com.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-combinat-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-combinat-devel/CAEQuuAVYXtTh8ydsWvJd-GpvkNz%2BtOG%2BsFyod2m0s-QWJ9uXFQ%40mail.gmail.com.

[sage-devel] Re: [sage-combinat-devel] implementing covering arrays

[David Joyner]

On Mon, May 30, 2022 at 2:35 PM brett stevens  wrote:
>
> Myself and my M.Sc. student Aaron Dwyer are interested in adding covering 
> arrays to sagemath in the design theory code.  We have been reviewing the 
> orthogonal array code as guidance and have some questions for 
> sage-combinat-devel community.
>
> - We note that orthogonal arrays are not implemented as a class.  Our initial 
> thoughts were to implement covering arrays as a class.  What do you all think 
> about that?
>

This sounds okay to me, however, I'm ccing sage-devel in case some
experts aren't subscribed to this list.

> - Would it additionally be useful to re-implement orthogonal arrays as a 
> child class of a covering arrays class and move the orthogonal array methods 
> into that class?  What would be the least disruptive way to do this?
>
> - We know that in sagemath development it is often a good idea to make small 
> patches that are easy to review and edit.  Would the right initial things to 
> implement be the necessary class structure, documentation, self-checker 
> (analogous to ```is_t_design``` in ```block_design```), formatted print  and 
> output to equivalent objects like a group divisible covering design?
>
> - One of our more substantive goals is to implement the perfect hash family 
> and covering perfect hash family constructions.  We are happy to hear what 
> other people think would be important methods to implement for in a covering 
> array class.
>
> brett stevens
> Aaron Dwyer
>
> --
> You received this message because you are subscribed to the Google Groups 
> "sage-combinat-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to sage-combinat-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-combinat-devel/8926605c-d908-4d97-bdd7-2bd9bb552040n%40googlegroups.com.

-- 
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/CAEQuuAVYXtTh8ydsWvJd-GpvkNz%2BtOG%2BsFyod2m0s-QWJ9uXFQ%40mail.gmail.com.

Re: [sage-devel] orbit decompositions

[David Joyner]

On Thu, May 5, 2022 at 7:59 AM 'Martin R' via sage-devel
 wrote:
>
> I guess you would have to read the code and make sure that you think it is 
> OK, possibly ask for clarifications or better examples, and then select 
> "positive review" on the trac ticket.
>

Will do.

> On Thursday, 5 May 2022 at 11:06:15 UTC+2 David Joyner wrote:
>>
>> On Thu, May 5, 2022 at 3:51 AM 'Martin R' via sage-devel
>>  wrote:
>> >
>> > David, could you do the review?
>> >
>>
>> I don't know git but, for my own amusement, I copy+pasted all
>> the code in that module on your trac ticket into a sage file, then
>> attached it to a sage session and ran some examples.
>> I'd be happy to test all the doc examples "by hand" if that helps any.
>>
>> > On Wednesday, 4 May 2022 at 14:26:49 UTC+2 Martin R wrote:
>> >>
>> >> I am guessing that Travis' Representation class does the trick, but I 
>> >> have to figure out how to use it.
>> >> On Wednesday, 4 May 2022 at 13:40:07 UTC+2 kcrisman wrote:
>> >>>
>> >>> On Tuesday, May 3, 2022 at 7:48:07 AM UTC-4 axio...@yahoo.de wrote:
>> >>>>
>> >>>> Won't you be better off thinking of it as a representation, then?
>> >>>>
>> >>>
>> >>> Correct, but I don't know how to construct those on arbitrary vector 
>> >>> spaces in Sage. That is to say, if I know the vector space, and I know 
>> >>> the action, but it's not some well-known one like the permutation 
>> >>> representation on a finite set by the symmetric group on that set.
>> >
>> > --
>> > 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+...@googlegroups.com.
>> > To view this discussion on the web visit 
>> > https://groups.google.com/d/msgid/sage-devel/3d812171-c0df-46f7-880d-a4f4d4ea2343n%40googlegroups.com.
>
> --
> 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/96607c03-3328-4385-a876-b031f0d16de0n%40googlegroups.com.

-- 
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/CAEQuuAVkOh5CeNfZhOU4djPJrKH35WVrcQ6L5CeDqHmOu1m8qg%40mail.gmail.com.

Re: [sage-devel] orbit decompositions

[David Joyner]

On Thu, May 5, 2022 at 3:51 AM 'Martin R' via sage-devel
 wrote:
>
> David, could you do the review?
>

I don't know git but, for my own amusement, I copy+pasted all
the code in that module on your trac ticket into a sage file, then
attached it to a sage session and ran some examples.
I'd be happy to test all the doc examples "by hand" if that helps any.

> On Wednesday, 4 May 2022 at 14:26:49 UTC+2 Martin R wrote:
>>
>> I am guessing that Travis'  Representation class does the trick, but I have 
>> to figure out how to use it.
>> On Wednesday, 4 May 2022 at 13:40:07 UTC+2 kcrisman wrote:
>>>
>>> On Tuesday, May 3, 2022 at 7:48:07 AM UTC-4 axio...@yahoo.de wrote:

 Won't you be better off thinking of it as a representation, then?

>>>
>>> Correct, but I don't know how to construct those on arbitrary vector spaces 
>>> in Sage.  That is to say, if I know the vector space, and I know the 
>>> action, but it's not some well-known one like the permutation 
>>> representation on a finite set by the symmetric group on that set.
>
> --
> 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/3d812171-c0df-46f7-880d-a4f4d4ea2343n%40googlegroups.com.

-- 
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/CAEQuuAUoHLzR8tasLViM6jYWHx1L4b0EFtpfnqsFAu6bvcsZ_w%40mail.gmail.com.

Re: [sage-devel] orbit decompositions

[David Joyner]

On Wed, May 4, 2022 at 5:02 AM 'Martin R' via sage-devel
 wrote:
>
> https://trac.sagemath.org/ticket/33784 is now ready for review.
>

Thank you!

Here's another example, for those following this thread:

sage: A = lambda g, x: g(x)
sage: Gamma = graphs.ButterflyGraph()
sage: G = Gamma.automorphism_group()
sage: H = PermutationGroup(G.gens(), action=A, domain=Gamma.vertices())
sage: H.orbits()
[[0, 1, 2, 3], [4]]
sage: G.orbits()
[[0, 1, 2, 3], [4]]


> I am still open for discussion, of course.  In particular, we might want to 
> discuss whether we should also provide a separate class which models a group 
> action, and not only the homomorphic image of the acting group.
>
> Martin
>
> On Tuesday, 3 May 2022 at 15:57:49 UTC+2 Martin R wrote:
>>
>> You just need to git Trac try the branch, there are examples in the 
>> docstring of PermutationGroup
>>
>> On Tuesday, 3 May 2022 at 15:27:06 UTC+2 David Joyner wrote:
>>>
>>> On Tue, May 3, 2022 at 7:12 AM 'Martin R' via sage-devel
>>>  wrote:
>>> >
>>> > I implemented (well, the implementation is trivial) the following, and 
>>> > I'd like feedback. I am not completely sure whether the interface for the 
>>> > second variant, where the generators of the acting group are required, is 
>>> > ideal, but I think it looks useable.
>>> >
>>> > A more serious problem is that orbits are currently computed twice: once 
>>> > when creating the generators of the permutation group, and another time, 
>>> > when asking for them.
>>> >
>>> > Martin
>>> >
>>>
>>> Hi Martin:
>>>
>>> Thanks for programming this. I'd like to test it's functionality but
>>> don't know your function's syntax. Something like
>>>
>>> def PermutationGroup2(gens=None, gap_group=None, domain=None,
>>> canonicalize=True, category=None, action=None):
>>>
>>> maybe?
>>>
>>> - David
>>>
>>>
>>> > """
>>> > ...
>>> > We can create a permutation group from a group action::
>>> >
>>> > sage: A = lambda x: (2*x) % 6
>>> > sage: X = [0,1,2,3,4,5]
>>> > sage: G = PermutationGroup(action=A, domain=X)
>>> > sage: G.orbits()
>>> > [[0], [1, 2, 4], [3], [5]]
>>> >
>>> > sage: A = lambda g, x: vector(g*x, immutable=True)
>>> > sage: X = [vector(x, immutable=True) for x in GF(3)^2]
>>> > sage: G = SL(2,3); G.gens()
>>> > (
>>> > [1 1] [0 1]
>>> > [0 1], [2 0]
>>> > )
>>> > sage: H = PermutationGroup(G.gens(), action=A, domain=X)
>>> > sage: H.orbits()
>>> > [[(0, 0)], [(1, 0), (0, 2), (2, 2), (2, 0), (1, 2), (2, 1), (0, 1), (1, 
>>> > 1)]]
>>> > sage: H.gens()
>>> > [((0,1),(1,1),(2,1))((0,2),(2,2),(1,2)),
>>> > ((1,0),(0,2),(2,0),(0,1))((1,1),(1,2),(2,2),(2,1))]
>>> > ...
>>> > """
>>> > if not is_ExpectElement(gens) and hasattr(gens, '_permgroup_'):
>>> > return gens._permgroup_()
>>> > if gens is not None and not isinstance(gens, (tuple, list, GapElement)):
>>> > raise TypeError("gens must be a tuple, list, or GapElement")
>>> > gap_group = kwds.get("gap_group", None)
>>> > domain = kwds.get("domain", None)
>>> > canonicalize = kwds.get("canonicalize", True)
>>> > category = kwds.get("category", None)
>>> > action = kwds.get("action", None)
>>> > if action is not None:
>>> > if domain is None:
>>> > raise ValueError("you must specify the domain for an action")
>>> > from sage.combinat.cyclic_sieving_phenomenon import orbit_decomposition
>>> > if gap_group is not None:
>>> > raise ValueError("gap_group is not supported with action")
>>> > if gens is None and gap_group is None:
>>> > gens = [tuple(o) for o in orbit_decomposition(domain, action)]
>>> > else:
>>> > gens = [[tuple(o) for o in orbit_decomposition(domain, lambda x: 
>>> > action(g, x))]
>>> > for g in gens]
>>> > if args:
>>> > from sage.misc.superseded import deprecation
>>> > deprecation(31510, "gap_group, domain, canonicalize, category will become 
>>> > keyword only")
>>> > if len(args) > 4:
>>> > raise ValueError("invalid input")
>>>

Re: [sage-devel] orbit decompositions

[David Joyner]

On Tue, May 3, 2022 at 7:12 AM 'Martin R' via sage-devel
 wrote:
>
> I implemented (well, the implementation is trivial) the following, and I'd 
> like feedback.  I am not completely sure whether the interface for the second 
> variant, where the generators of the acting group are required, is ideal, but 
> I think it looks useable.
>
> A more serious problem is that orbits are currently computed twice: once when 
> creating the generators of the permutation group, and another time, when 
> asking for them.
>
> Martin
>

Hi Martin:

Thanks for programming this. I'd like to test it's functionality but
don't know your function's syntax. Something like

def PermutationGroup2(gens=None, gap_group=None, domain=None,
canonicalize=True, category=None, action=None):

maybe?

- David


> """
> ...
> We can create a permutation group from a group action::
>
> sage: A = lambda x: (2*x) % 6
> sage: X = [0,1,2,3,4,5]
> sage: G = PermutationGroup(action=A, domain=X)
> sage: G.orbits()
> [[0], [1, 2, 4], [3], [5]]
>
> sage: A = lambda g, x: vector(g*x, immutable=True)
> sage: X = [vector(x, immutable=True) for x in GF(3)^2]
> sage: G = SL(2,3); G.gens()
> (
> [1 1]  [0 1]
> [0 1], [2 0]
> )
> sage: H = PermutationGroup(G.gens(), action=A, domain=X)
> sage: H.orbits()
> [[(0, 0)], [(1, 0), (0, 2), (2, 2), (2, 0), (1, 2), (2, 1), (0, 1), 
> (1, 1)]]
> sage: H.gens()
> [((0,1),(1,1),(2,1))((0,2),(2,2),(1,2)),
>  ((1,0),(0,2),(2,0),(0,1))((1,1),(1,2),(2,2),(2,1))]
> ...
> """
> if not is_ExpectElement(gens) and hasattr(gens, '_permgroup_'):
> return gens._permgroup_()
> if gens is not None and not isinstance(gens, (tuple, list, GapElement)):
> raise TypeError("gens must be a tuple, list, or GapElement")
> gap_group = kwds.get("gap_group", None)
> domain = kwds.get("domain", None)
> canonicalize = kwds.get("canonicalize", True)
> category = kwds.get("category", None)
> action = kwds.get("action", None)
> if action is not None:
> if domain is None:
> raise ValueError("you must specify the domain for an action")
> from sage.combinat.cyclic_sieving_phenomenon import 
> orbit_decomposition
> if gap_group is not None:
> raise ValueError("gap_group is not supported with action")
> if gens is None and gap_group is None:
> gens = [tuple(o) for o in orbit_decomposition(domain, action)]
> else:
> gens = [[tuple(o) for o in orbit_decomposition(domain, lambda x: 
> action(g, x))]
> for g in gens]
> if args:
> from sage.misc.superseded import deprecation
> deprecation(31510, "gap_group, domain, canonicalize, category will 
> become keyword only")
> if len(args) > 4:
> raise ValueError("invalid input")
> args = list(args)
> gap_group = args.pop(0)
> if args:
> domain = args.pop(0)
> if args:
> canonicalize = args.pop(0)
> if args:
> category = args.pop(0)
> return PermutationGroup_generic(gens=gens, gap_group=gap_group, 
> domain=domain,
> canonicalize=canonicalize, 
> category=category)
>
>
> On Monday, 2 May 2022 at 23:01:42 UTC+2 David Joyner wrote:
>>
>> On Mon, May 2, 2022 at 11:24 AM 'Martin R' via sage-devel
>>  wrote:
>> >
>> > I am actually not sure anymore, which methods or functionality this class 
>> > should provide.
>> >
>> > Would it possibly be better to enhance PermutationGroup with an additional 
>> > optional "from_action" and "from_cyclic_action" argument? Eg.:
>> >
>> > PermutationGroup(domain = X, cyclic_action = lambda x: f(x))
>> >
>> > PermutationGroup(domain = X, group_action = (G, lambda g, x: f(g, x)))
>> >
>>
>> I like this idea!
>>
>> > Martin
>> > On Monday, 2 May 2022 at 14:20:57 UTC+2 kcrisman wrote:
>> >>
>> >> On Sunday, May 1, 2022 at 7:32:01 PM UTC-4 Travis Scrimshaw wrote:
>> >>>>>
>> >>>>> Sorry, I don't know an easy way. I've always just defined them by hand
>> >>>>> whenever needed.
>> >>>>> However, I agree with you that a better way is need

Re: [sage-devel] orbit decompositions

[David Joyner]

On Mon, May 2, 2022 at 11:24 AM 'Martin R' via sage-devel
 wrote:
>
> I am actually not sure anymore, which methods or functionality this class 
> should provide.
>
> Would it possibly be better to enhance PermutationGroup with an additional 
> optional "from_action" and "from_cyclic_action" argument?  Eg.:
>
> PermutationGroup(domain = X, cyclic_action = lambda x: f(x))
>
> PermutationGroup(domain = X, group_action = (G, lambda g, x: f(g, x)))
>

I like this idea!

> Martin
> On Monday, 2 May 2022 at 14:20:57 UTC+2 kcrisman wrote:
>>
>> On Sunday, May 1, 2022 at 7:32:01 PM UTC-4 Travis Scrimshaw wrote:
>
> Sorry, I don't know an easy way. I've always just defined them by hand
> whenever needed.
> However, I agree with you that a better way is needed.


 I would love for there to be some standard way to define a group action on 
 a set - preferably maintaining other algebraic properties of the set, such 
 as addition!  But I don't know if there is even close to a standard way to 
 do this either.
>>>
>>>
>>> - There is a standard way to do this, but not a generic method/class for it 
>>> IIRC. You can do this by implementing an _act_on_() method on a wrapper 
>>> class. Yet, this requires some manual input.
>>> - For cyclic actions, there is the DiscreteDynamicalSystem class introduced 
>>> in https://trac.sagemath.org/ticket/24128.
>>> - There is also the Representation class in 
>>> modules/with_basis/representation.py if you want to want to extend the 
>>> action on the set to the module with a basis given by that set.
>>>
>>> Likely we will want to implement a class SetWithAction that automates a 
>>> collects the orbit_decomposition functions and similar together as methods 
>>> as a single global entry point.
>>>
>>
>> Hmm, maybe a tutorial is needed for this.  I would imagine that a lot of 
>> people who aren't familiar with how to create a new wrapper class would be 
>> the ones who need this.   Of course, the FiniteGroupAction suggestion sounds 
>> quite welcome, too, though really having both options would be best.
>
> --
> 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/694a16d8-b59d-43bc-8b68-033c704284abn%40googlegroups.com.

-- 
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/CAEQuuAXOneCvUQ70XxfbMb4Jstek9OB-sfNpcVsgkNDXf6cdFg%40mail.gmail.com.

Re: [sage-devel] orbit decompositions

[David Joyner]

1) This is okay with me, but by "set" I assume you don't mean "Set":-)
For example,
sage: A = lambda g, x: g*x
sage: G = SL(2,5)
sage: X = GF(5)^2
sage: a = GroupAction(A, X, G)
sage: a.orbits()
should return something reasonable.
2) Your new class should be consistent with the built in action
of permutation groups and automorphism groups on various
objects (eg, graphs, block designs, incidence structures)
It would be nice if there could be a default "A" in this
case.

Some examples of such built-in orbits,
sage: A = lambda g, x: g*x
sage: X = [1,2,3,4]
sage: G = SymmetricGroup(X)
sage: H = G.subgroup([[(1,2),(3,4)]]);
sage: a = GroupAction(A, H, X)
sage: a.orbits()
should be consistent with the built in permutation group action
sage: X = [1,2,3,4]
sage: G = SymmetricGroup(X)
sage: H = G.subgroup([[(1,2),(3,4)]]); H.list()
[(), (1,2)(3,4)]
sage: H.orbits()
[[1, 2], [3, 4]]
and
sage: A = lambda g, x: g*x
sage: X = graphs.ButterflyGraph()
sage: G = Gamma.automorphism_group()
sage: a = GroupAction(A, G, Gamma)
sage: a.orbits()
should give more or less the same output as
sage: Gamma = graphs.ButterflyGraph()
sage: G = Gamma.automorphism_group()
sage: G.orbits()
[[0, 1, 2, 3], [4]]
However, I'm not sure how your class would yield the output of
sage: P = designs.DesarguesianProjectivePlaneDesign(2)
sage: G = P.automorphism_group()
sage: G.orbits()
[[(0, 0, 1), (1, 0, 1), (0, 1, 1), (1, 0, 0), (1, 1, 1), (0, 1, 0), (1, 1, 0)]]



On Mon, May 2, 2022 at 4:39 AM 'Martin R' via sage-devel
 wrote:
>
> Would you be happy with something like the following, as a unifying and 
> easily accessible framework?  Of course, I am thinking of providing also 
> methods that convert it (back) into a representation, a combinatorial 
> species, a permutation group.
>
> class FiniteGroupAction(SageObject):
>
> def __init__(A, X=None, G=None):
> r"""
> A finite group action.
>
> INPUT:
>
> - ``A`` -- can be one of the following:
>
>   * a permutation group, if ``X`` and ``G`` are ``None``
>
>   * a bijection on a finite set ``X``, if ``G`` is ``None``
>
>   * a map `G\times X\to X`, otherwise.
>
> - ``X`` (optional, default ``None``) -- a finite set
>
> - ``G`` (optional, default ``None``) -- a finite group
>
> EXAMPLES::
>
> sage: G = PermutationGroup([['b','c','a']], domain=['a','b','c','d'])
> sage: a = GroupAction(G)
> sage: a.orbits()
> [['a', 'b', 'c'], ['d']]
>
> sage: A = lambda x: (2*x) % 6
> sage: X = [0,1,2,3,4,5]
> sage: a = GroupAction(A, X)
> sage: a.orbits()
> [[0], [1, 2, 4], [3], [5]]
>
> sage: G = SymmetricGroup(3)
> sage: A = lambda g, x: g*x
> sage: a = GroupAction(A, G, G)
> sage: a.orbits()
> [['a', 'b', 'c', 'd']]
>
> On Monday, 2 May 2022 at 01:32:01 UTC+2 Travis Scrimshaw wrote:

 Sorry, I don't know an easy way. I've always just defined them by hand
 whenever needed.
 However, I agree with you that a better way is needed.
>>>
>>>
>>> I would love for there to be some standard way to define a group action on 
>>> a set - preferably maintaining other algebraic properties of the set, such 
>>> as addition!  But I don't know if there is even close to a standard way to 
>>> do this either.
>>
>>
>> - There is a standard way to do this, but not a generic method/class for it 
>> IIRC. You can do this by implementing an _act_on_() method on a wrapper 
>> class. Yet, this requires some manual input.
>> - For cyclic actions, there is the DiscreteDynamicalSystem class introduced 
>> in https://trac.sagemath.org/ticket/24128.
>> - There is also the Representation class in 
>> modules/with_basis/representation.py if you want to want to extend the 
>> action on the set to the module with a basis given by that set.
>>
>> Likely we will want to implement a class SetWithAction that automates a 
>> collects the orbit_decomposition functions and similar together as methods 
>> as a single global entry point.
>>
>> Best,
>> Travis
>>
>>
> --
> 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/20c36129-bd92-4252-9a85-a750aea7b038n%40googlegroups.com.

-- 
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/CAEQuuAU48K0n162dR8P32n%2Bie7xHS2ph2ETpZLzB7SNd9Bnzbw%40mail.gmail.com.

Re: [sage-devel] orbit decompositions

[David Joyner]

On Thu, Apr 28, 2022 at 9:35 AM 'Martin R' via sage-devel
 wrote:
>
> I don't know about OrbitDomains, how does it work / how do you use it?
>

The documentation has an example:
https://www.gap-system.org/Manuals/doc/ref/chap41.html

> Is there a standard (and easy) way to define an action (in particular, a 
> cyclic action) on a set in sage?
>

Sorry, I don't know an easy way. I've always just defined them by hand
whenever needed.
However, I agree with you that a better way is needed.

> On Thursday, 28 April 2022 at 15:27:03 UTC+2 David Joyner wrote:
>>
>> On Thu, Apr 28, 2022 at 9:09 AM 'Martin R' via sage-devel
>>  wrote:
>> >
>> > I am very frequently using the function
>> >
>> > Signature: orbit_decomposition(L, cyc_act) -> 'list[list]'
>> > Docstring:
>> > Return the orbit decomposition of "L" by the action of "cyc_act".
>> >
>> > INPUT:
>> >
>> > * "L" -- list
>> > * "cyc_act" -- bijective function from "L" to "L"
>> >
>> > OUTPUT:
>> >
>> > * a list of lists, the orbits under the cyc_act acting on "L"
>> >
>> > which I have to import using
>> >
>> > from sage.combinat.cyclic_sieving_phenomenon import orbit_decomposition
>> >
>> > I am guessing that this function might be useful for other people, and 
>> > will probably be reimplemented over and over again (it is not hard to do 
>> > that, of course).
>> >
>> > My question is: wouldn't it make sense to make it available in an easier 
>> > way? if so, how?
>> >
>>
>> Yes, I agree it should be easier. But can't one simply call Gap's 
>> OrbitDomains
>> instead of reimplementing it?
>>
>> > Martin
>> >
>> > --
>> > 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+...@googlegroups.com.
>> > To view this discussion on the web visit 
>> > https://groups.google.com/d/msgid/sage-devel/b1532848-b1d6-426b-9312-66dba5d8ef5en%40googlegroups.com.
>
> --
> 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/626b9322-8fc4-49d8-bb53-638931f6057dn%40googlegroups.com.

-- 
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/CAEQuuAWDruBEsRYWOwZkXfpLTcFuuuAfjb2r2CSO%3DU8NYshDOw%40mail.gmail.com.

Re: [sage-devel] orbit decompositions

[David Joyner]

On Thu, Apr 28, 2022 at 9:09 AM 'Martin R' via sage-devel
 wrote:
>
> I am very frequently using the function
>
> Signature:  orbit_decomposition(L, cyc_act) -> 'list[list]'
> Docstring:
>Return the orbit decomposition of "L" by the action of "cyc_act".
>
>INPUT:
>
>* "L" -- list
>* "cyc_act" -- bijective function from "L" to "L"
>
>OUTPUT:
>
>* a list of lists, the orbits under the cyc_act acting on "L"
>
> which I have to import using
>
> from sage.combinat.cyclic_sieving_phenomenon import orbit_decomposition
>
> I am guessing that this function might be useful for other people, and will 
> probably be reimplemented over and over again (it is not hard to do that, of 
> course).
>
> My question is: wouldn't it make sense to make it available in an easier way? 
>  if so, how?
>

Yes, I agree it should be easier. But can't one simply call Gap's OrbitDomains
instead of reimplementing it?

> Martin
>
> --
> 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/b1532848-b1d6-426b-9312-66dba5d8ef5en%40googlegroups.com.

-- 
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/CAEQuuAUZVugtc8BF-tp64wnmKd4155GKAsv8vEJ2M8EOrWHqAA%40mail.gmail.com.

Re: [sage-devel] Matroid rank weird behavior

[David Joyner]

On Wed, Apr 6, 2022 at 5:45 AM Jakub Komárek  wrote:
>
> I have been experiencing some weird sage behavior regarding matroids (bug?).
>
> Sage session:
>
> >> sage: A = matrix([
> >> : (24933.199686367003,-41014.0,-51015.0,0.0,0.0,0.0),
> >> : (-0.8039596197196983,0.0,0.0,1.0,0.0,0.0),
> >> : (0.0,-1.0,0.0,0.0,1.0,0.0),
> >> : (0.0,0.0,-1.0,0.0,0.0,1.0)
> >> : ])
> >> sage: A_mat = Matroid(A)
> >> sage: fs = frozenset([0, 2])
> >> sage: A_mat.rank(fs)
> >> 2
> >> sage: list(A_mat.bases())
> >> [frozenset({0, 1, 2, 3}),
> >>  frozenset({0, 1, 3, 4}),
> >>  frozenset({1, 2, 3, 4}),
> >>  frozenset({0, 1, 4, 5}),
> >>  frozenset({1, 2, 4, 5}),
> >>  frozenset({1, 3, 4, 5}),
> >>  frozenset({0, 1, 3, 5}),
> >>  frozenset({1, 2, 3, 5})]
> >> sage: A_mat.rank(fs)
> >> 1
>
> At first sage gives the answer that the rank of the set of the first and 
> third column vector of the matrix is two (correctly, as they are linearly 
> independent), but after only listing (!) all matroid bases it changes the 
> answer to 1. The behavior I would expect is that it should still be 2.
>

Scaling A to have integer entries gives:

sage: A = 
matrix([(24933199686367003,-41014000,-51015,0,0,0),(-39596197196983,0,0,1,0,0),(0.0
: 
,-1,0,0,1,0),(0,0,-1,0,0,1)])
sage: A_mat = Matroid(A)
sage: fs = frozenset([0, 2])
sage: A_mat.rank(fs)
2
sage: list(A_mat.bases())
[frozenset({0, 1, 2, 3}),
 frozenset({0, 1, 3, 4}),
 frozenset({1, 2, 3, 4}),
 frozenset({0, 2, 3, 4}),
 frozenset({0, 1, 2, 4}),
 frozenset({0, 1, 4, 5}),
 frozenset({0, 2, 4, 5}),
 frozenset({2, 3, 4, 5}),
 frozenset({1, 3, 4, 5}),
 frozenset({0, 3, 4, 5}),
 frozenset({0, 1, 3, 5}),
 frozenset({1, 2, 3, 5}),
 frozenset({0, 1, 2, 5})]
sage: A_mat.rank(fs)
2
sage: version()
'SageMath version 9.3.rc0, Release Date: 2021-03-23'


> I did not manage to simplify the matrix, all the simplifications that I tried 
> resulted in sage behaving sensibly. If this is a numerical issue that cannot 
> be fixed, is there a way to work around this behavior? Or are sage matroids 
> just not well-suited for matrices of floating-point numbers?
>
> As a consequence of this behavior, the matroid function `circuits()` does not 
> work properly for this matroid, as its implementation uses the `rank()` and 
> `bases()` functions similarly as shown above.
>
> Sage version: SageMath version 9.5, Release Date: 2022-01-30
> OS: Arch linux
>
> I will be thankful for any advice, great job with sage otherwise!
>
> --
> 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/bb41c35f-ba26-4a23-bdde-314d0d10c4c1n%40googlegroups.com.

-- 
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/CAEQuuAUrjfFGiQFy%3DbBUg8uOn%2Bg1obu-zeNhp-9fDjDp84-70g%40mail.gmail.com.

Re: [sage-devel] Teaching with Sagemath

[David Joyner]

On Wed, Oct 6, 2021 at 11:17 AM David Coudert  wrote:
>
> Dear all,
>
> a colleague asks me if we have examples of notebooks for teaching 
> introduction to graph theory with sagemath.
> I found this page that is clearly outdated 
> https://wiki.sagemath.org/Teaching_with_SAGE
>
> If you are aware of some accessible material, please let me know.
>

There is some sage code included in these lecture notes:
https://yetanothermathblog.com/2018/04/01/calculus-on-graphs/

> Best,
> David.
>
> --
> 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/5fffb047-6d16-4195-853c-60de102b2932n%40googlegroups.com.

-- 
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/CAEQuuAVX--iJ0aiR2jkcfD-vbqHcj52siQfoF2R4NUT7HeHmnA%40mail.gmail.com.

Re: [sage-devel] New contributor's questions: Patchbot failing on random test + Copyright

[David Joyner]

On Wed, Aug 4, 2021 at 12:47 PM Maxime Bombar 
wrote:

> On 8/4/21 6:39 PM, David Joyner wrote:
> > I'm not sure I can answer your question but the copyright block in
> >
> https://git.sagemath.org/sage.git/tree/src/sage/coding/channels_catalog.py?id=abf97b817ebb4618b8e5d9e629a5e03f696c3dad
> > <
> https://git.sagemath.org/sage.git/tree/src/sage/coding/channels_catalog.py?id=abf97b817ebb4618b8e5d9e629a5e03f696c3dad
> >
> > says "Copyright (C) 2015 David Lucas ...". Don't you want it to read
> > "Copyright (c) 2021 Maxime Bombar ..."?
>
> Well ... I did not write most of the code here. Just the last class. Not
> really sure I should change this, should I ?
>
>
In that case, no.

According to
>
> https://doc.sagemath.org/html/en/developer/coding_basics.html#headings-of-sage-library-code-file
> I should add an 'AUTHORS' block.
>
>
Yes, thank you!

Best,
>
> --
> Maxime Bombar
>
>
> --
> 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/89112643-5fc5-81cc-e6cd-d7fb93b9ee47%40inria.fr
> .
>

-- 
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/CAEQuuAWMD0hVkToxg3kgmmmNunHM6Qp47gEoib-1NF1rY1zesA%40mail.gmail.com.

Re: [sage-devel] New contributor's questions: Patchbot failing on random test + Copyright

[David Joyner]

On Wed, Aug 4, 2021 at 12:21 PM Maxime Bombar 
wrote:

> Hello everyone,
>
> My name is Maxime Bombar and I am a PhD student at INRIA Saclay, France.
>
> Lately, I worked on rank-metric codes and there are some pieces of code
> I'd like to add to Sage. This would be my first contribution to Sage (of
> many more in the future I hope).
>
> Rank metric codes have been introduced in Sage 9.2 last year, and I need
> to adapt my code to Sage upstream codebase (I began working with Sage
> 9.0 and some things have already been included).
>
> I began with something really easy and opened a trac ticket with the
> implementation of a new channel made for the rank metric: #32330. As I
> can see Sage development entered the release candidate phase for 9.4 I
> tagged this to 9.5.
>
> https://trac.sagemath.org/ticket/32330
>
> Patchbot failed in the first run because of bad block formatting, which
> I corrected in a second commit.
>
> However, now Patchbot fails on a test which seems completely independent
> from this ticket:
>
> sage -t --long --random-seed=0 src/sage/parallel/map_reduce.py
> Timed out
>
> and then a more explicit traceback
>
> (see
>
> https://patchbot.sagemath.org/log/32330/Linux/1_SMP_Debian_4.19.194-2_(2021-06-21)/x86_64/4.19.0-17-amd64/pascaline/2021-08-04%2015:11:37?short
> for more information).
>
>
> Am I missing something here ?
>
> By the way, what is the recommended way to check locally all the
> requirements ? I am aware of sage -t, and I used a Python Linter to
> check against PEP8, but I should have seen this block formatting issue.
> Should I just build locally the patchbot ?
>
>
> Also, there is a copyright block in the file src/sage/coding/channel.py
> in which I included my new channel. I am not really familiar with IP
> concerns. Should I create a new file instead and load it in
> channels_catalog.py ?
>
>
I'm not sure I can answer your question but the copyright block in
https://git.sagemath.org/sage.git/tree/src/sage/coding/channels_catalog.py?id=abf97b817ebb4618b8e5d9e629a5e03f696c3dad
says "Copyright (C) 2015 David Lucas ...". Don't you want it to read
"Copyright (c) 2021 Maxime Bombar ..."?


> Thanks,
>
> Best,
>
> --
> Maxime Bombar
>
>
> --
> 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/dbff15f0-1a94-f407-c993-aa37fb931f5c%40inria.fr
> .
>

-- 
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/CAEQuuAWe%3Dekrc0zUjJKwNEK71t4ganWwLazCuD2gxYRW2PKnnQ%40mail.gmail.com.

Re: [sage-devel] Memory leak in integer multiplication in sage?

[David Joyner]

On Thu, Mar 18, 2021 at 6:56 AM Maarten Derickx 
wrote:

> Hi All,
>
> tldr: the bottom of this post contains example code of which I would like
> the results on some other systems.
>
> I recently encountered a memory leak in the relatively innocently looking
> code:
>
> d = 27
> M = 109
> for i in range(1):
> for a in srange(M):
> for r in srange(d):
> tmp = r*a
>
> However it doesn't seem to be on all platforms that sage supports. For
> example on cocalc (ubuntu 20.04) one gets:
>
> ~$ sage
> ┌┐
> │ SageMath version 9.2, Release Date: 2020-10-24 │
> │ Create a "Sage Worksheet" file for the notebook interface. │
> │ Enhanced for CoCalc.   │
> │ Using Python 3.8.5. Type "help()" for help.│
> └┘
> sage: import gc
> : gc.collect()
> : mem = get_memory_usage()
> : d = 27
> : M = 109
> : for i in range(1):
> : for a in srange(M):
> : for r in srange(1,d):
> : tmp = r*a
> : gc.collect()
> : print("memory usage 10k:", get_memory_usage(mem))
> : mem = get_memory_usage()
> : for i in range(2):
> : for a in srange(M):
> : for r in srange(1,d):
> : tmp = r*a
> : gc.collect()
> : print("memory usage 20k:", get_memory_usage(mem))
> :
>
> 434
> 0
> memory usage 10k: 9.15234375
> 0
> memory usage 20k: 21.3984375
>
>
> showing clear indication of a memory leak. While on my own laptop (OS X
> 10.13.6) I get:
>
>
>
> ~ mderickx$ sage
> ┌┐
> │ SageMath version 9.2, Release Date: 2020-10-24 │
> │ Using Python 3.8.5. Type "help()" for help. │
> └┘
> sage: import gc
> : gc.collect()
> : mem = get_memory_usage()
> : d = 27
> : M = 109
> : for i in range(1):
> : for a in srange(M):
> : for r in srange(1,d):
> : tmp = r*a
> : gc.collect()
> : print("memory usage 10k:", get_memory_usage(mem))
> : mem = get_memory_usage()
> : for i in range(2):
> : for a in srange(M):
> : for r in srange(1,d):
> : tmp = r*a
> : gc.collect()
> : print("memory usage 20k:", get_memory_usage(mem))
> :
> 278
> 0
> memory usage 10k: 0.0
> 0
> memory usage 20k: 0.0
>
>
> so here the memory leak does not occur. However I don't have any other
> systems to which I have access to. So I was wondering if people could
> execute the code below on some other systems and report back here to see
> where the leaking is actually occurring. Since I do not have access to a
> plain vanilla sage install on ubuntu, *I am especially interested if on
> ubuntu the non cocalc enhanced version of sage also produces a memory leak
> for the following code:*
>
> import gc
> gc.collect()
> mem = get_memory_usage()
> d = 27
> M = 109
> for i in range(1):
> for a in srange(M):
> for r in srange(1,d):
> tmp = r*a
> gc.collect()
> print("memory usage 10k:", get_memory_usage(mem))
> mem = get_memory_usage()
> for i in range(2):
> for a in srange(M):
> for r in srange(1,d):
> tmp = r*a
> gc.collect()
> print("memory usage 20k:", get_memory_usage(mem))
>
>
This is in sage 9.1.rc5 running on ubuntu 20.4 on a dell inspiron laptop.
It's an old version of sage but I hope it helps:


 sage: gc.collect()
: mem = get_memory_usage()
: d = 27
: M = 109
: for i in range(1):
: for a in srange(M):
: for r in srange(1,d):
: tmp = r*a
: gc.collect()
: print("memory usage 10k:", get_memory_usage(mem))
: mem = get_memory_usage()
: for i in range(2):
: for a in srange(M):
: for r in srange(1,d):
: tmp = r*a
: gc.collect()
: print("memory usage 20k:", get_memory_usage(mem))
:
176
0
memory usage 10k: 10.0546875
0
memory usage 20k: 21.3984375



> --
> 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/5882460b-842c-49c4-b33b-fae1c7986db9n%40googlegroups.com
> 
> .
>

-- 
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 

Re: [sage-devel] HELP

[David Joyner]

On Mon, Feb 15, 2021 at 12:26 PM Cosimo Romito 
wrote:

> Salve, ho provato a scaricare Sage per linux/64bit versione 8.7.
> Vorrei sapere come faccio a lanciare il programma dal terminale.
> Ho provato a usare la dicitura "sage -notebook" ma non parte. Qualcuno sa
> dirmi come devo fare?
>

In English, thanks to google translate:

Hi, I tried to download Sage for linux / 64bit version 8.7.
I would like to know how I can launch the program from the terminal.
I tried to use "sage -notebook" but it doesn't start. Can anyone tell
me how to do it?

-- 
> 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/d8a7a555-4447-4a76-9d6d-cdddc09b77e5n%40googlegroups.com
> 
> .
>

-- 
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/CAEQuuAUvYSFEh1dnpac0q67ajHKVtH_AeEdNR67SJVJSAgXxXw%40mail.gmail.com.

Re: [sage-devel] sage-devel@sourceforge

[David Joyner]

On Thu, Nov 26, 2020 at 9:32 AM Marc Mezzarobba  wrote:

> sage-de...@lists.sourceforge.net is still receiving new messages--99%
> spam, but not 100%, see:
>
> https://sourceforge.net/p/sage/mailman/sage-devel/
>
> Does anyone have the necessary permissions to shut it down?
>

Maybe William does. I searched through some old sf emails and possibly I
set it up using my old work email (which has been retired). If William
doesn't, maybe a sf administrator can delete them?



>
> --
> Marc
>
> --
> 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/rpoe8o%24hp3%241%40ciao.gmane.io
> .
>

-- 
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/CAEQuuAWrXpHXxpGamFcvoB7McZJCbRkdnc0KC8FQC_du7wxAkw%40mail.gmail.com.

Re: [sage-devel] Re: Transpiling from Mathematica syntax to sage backends

[David Joyner]

FYI, related to this thread, it looks like Rocky and a few colleagues are
giving an upcoming talk (2020-10-30) on Mathics at SD110:
https://researchseminars.org/seminar/SageDays110



On Mon, Aug 31, 2020 at 1:44 PM Rocky Bernstein 
wrote:

>
>
> On Mon, Aug 31, 2020 at 1:00 PM E. Madison Bray 
> wrote:
>
>> On Tue, Jul 14, 2020 at 12:12 AM Rocky Bernstein
>>  wrote:
>> >
>> > I think we've beat this to death. So let's agree to disagree.
>> >
>> > This kind of thing is not intended for someone like you, but rather,
>> someone like me who is just getting started in Sage and CAS and wants to go
>> through a number of simple Mma tutorials and see roughly corresponding
>> results translated to another system. If that works out, I am happy, and
>> may try more ambitious things.
>> >
>> > The specific examples showing how the various systems are hopelessly
>> incompatible or where there are subtleties and vagueness are interesting.
>> However I suspect none of this is going to matter. At least not in the
>> short term, if ever. This is for casual, non-mission-critical, and
>> educational use.  After I have something that isn't vaporware (if I get to
>> that stage), you can pop up again and warn people of the dangers. I hear
>> you, and you have some valid points. Now please go away.
>> >
>> > There were the hacks one used to do with calculators where you'd divide
>> a number of times by a number and then multiply it back and get something
>> slightly off. Using that, Homer Simpson was able to disprove Fermat's
>> Theorem by finding a solution to the equation  a**12 + b**12 = c**12 in TI
>> calculator math. Somehow though, calculators and mathematics were both able
>> to survive this ordeal.
>>
>> I think this is a laudable goal, and while RJF's admonitions are
>> valid, I don't think it should discourage you from trying to get
>> something working.
>
>
> Actually, it's had the opposite effect.
>
>
>>   I think even if you can get some simple cases
>> working it would be very impressive and useful.
>>
>
> What can be handled now is in
> https://github.com/rocky/FoxySheep2/tree/master/pytest/parse_expressions,
> And installing should be pretty is as easy as: pip install FoxySheep
>
> The main limiting factor is having time, need, or desire to work on it. It
> feels like there is a great deal that can be done and there is a lot of
> low-hanging fruit for anyone who wants to work on.
>



>
>
>> As a technical note I don't think it would be worth trying to
>> implement this directly in the sage preparser, at least not yet.  That
>> would be a can of worms.  Just stick to a stand-alone transpiler
>> program that can parse Mathematica code and spit out some roughly
>> equivalent Python/Sage code.  This would make the transpilation result
>> more transparent, and give you (or anyone else using it) opportunity
>> to review the transpiled code and modify it.  Burying it in the sage
>> preparser would get too hairy and distract from the primary mission,
>> and would also make it more obscured.
>>
>>
>>
>> > On Mon, Jul 13, 2020 at 4:25 PM rjf  wrote:
>> >>
>> >> the problem I see here is the recipe
>> >>
>> >> requiring "user choice"  and somehow specifying "inf in Mma"
>> >>
>> >> Most users will not want to specify, but probably would go along with
>> >> "the mathematically consistent choice according to experts who have
>> >> studied the matter."
>> >>
>> >> Certainly saying, as one choice, "inf in Mma" is inadequate since
>> >> the user, other people, other CAS, cannot make use of this with
>> >> any certainty.  Even "inf in Mma version 12.1" while specific,
>> >> is not so useful outside of Mma version 12.1.  There is no
>> >> axiomatic specification for "inf in Mma". Also the code
>> >> supporting it is secret.
>> >>
>> >> Being approximately right in mathematics is different from
>> >> providing an answer which is right within some defined
>> >> level of approximation  (e.g.  numerical precision,  number
>> >> of terms in a series, approximation by polynomial, ...)
>> >>
>> >> If you consider a robotic automated vehicle, being
>> >> approximately right might means it will only rarely crash
>> >> into a tree.  Being right approximately means that it
>> >> will (always) drive to its destination, give-or-take a short
>> displacement.
>> >>
>> >> RJF
>> >>
>> >>
>> >>
>> >>
>> >> On Friday, July 10, 2020 at 6:51:15 PM UTC-7, Rocky Bernstein wrote:
>> >>>
>> >>>
>> >>>
>> >>>
>> >>> User choice by option: If you want loose compatibility, then Inf in
>> Mma. If you want strict compatibility there is a strict compatibility
>> library and you can define SageInf in Mma.
>> >>>
>> 
>> 
>> >> I rarely use Google Translate.  I often use voice recognition (Alexa)
>> which is remarkable but
>> >> prone to errors in recognition as well as information retrieval. Maybe
>> you should build your
>> >> system for math voice parsing?  Alexa responds to
>> >> "Alexa, how much is 2+3?"
>> >> with "2+3 is 5".
>> >>
>> >> You can 

Re: [sage-devel] Re: Wrong matrix of Permutation

[David Joyner]

On Mon, Jun 15, 2020 at 11:42 AM 'Paul Mercat' via sage-devel <
sage-devel@googlegroups.com> wrote:

> Thank you for your answers.
>
> It's very confusing to write a right action to the left : we write g(i)
> and not (i)g.
> By default it should be a left action.
>
> And its very confusing that PermutationGroup and Permutation doesn't give
> the same matrix for the same permutation.
> I think that Sage should be coherent with itself as much as possible, and
> that it should choose the most natural convention.
>
>
This is turning into a political discussion:-)  I'm not taking sides!
You can say something similar about left-kernels vs right-kernels of
matrices, about left-eigenvectors vs right-eigenvectors. Different
linear algebra textbooks are different. Likewise, for permutations
acting on the left vs the right. Different group theory textbooks are
different.

Personally, I find it easier to get used to what is coded up than to
rewrite code:-)


Best regards,
> Paul
>
> Le lundi 15 juin 2020 17:30:33 UTC+2, David Joyner a écrit :
>>
>>
>>
>> On Mon, Jun 15, 2020 at 11:21 AM 'Paul Mercat' via sage-devel <
>> sage-...@googlegroups.com> wrote:
>>
>>> Another bug with PermutationGroup:
>>>
>>> {{
>>> g1,g2 = PermutationGroup([(1,2,3,4), (1,3,2,4)]).gens()
>>> (g1*g2)(3), g1(g2(3))
>>> }}
>>>
>>> should gives two times the same result, but it is not the case...
>>> The action of the group on {1,2,3,4} is not an action !
>>>
>>
>> Did you mean to say the action on {1,2,3,4} is not a left action?
>> Some prefer right actions
>>
>>
>>>
>>> Le lundi 15 juin 2020 16:58:18 UTC+2, Paul Mercat a écrit :
>>>>
>>>> Hi !
>>>>
>>>> Sage doesn't compute correctly the matrix of a Permutation:
>>>>
>>>> matrix(Permutation('(1,2,3,4)'))
>>>>
>>>> return a wrong answer: it returns the inverse of the correct result.
>>>> The product of matrices of permutations must be equal to the matrix of
>>>> the composition.
>>>>
>>>> If we do:
>>>>
>>>> PermutationGroup([(1,2,3,4)]).gens()[0].matrix()
>>>>
>>>> then we get the correct result.
>>>>
>>> --
>>> 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-...@googlegroups.com.
>>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/sage-devel/e4095a01-08f8-4aa1-924d-2c4494aeddd3o%40googlegroups.com
>>> <https://groups.google.com/d/msgid/sage-devel/e4095a01-08f8-4aa1-924d-2c4494aeddd3o%40googlegroups.com?utm_medium=email_source=footer>
>>> .
>>>
>> --
> 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/fa42b74e-c614-426e-96c3-bd7fe48ad4d4o%40googlegroups.com
> <https://groups.google.com/d/msgid/sage-devel/fa42b74e-c614-426e-96c3-bd7fe48ad4d4o%40googlegroups.com?utm_medium=email_source=footer>
> .
>

-- 
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/CAEQuuAV2awr5CS%2B0ijja8ZJBzfvStkKeCeYSkVuQaiLp2vKdew%40mail.gmail.com.

Re: [sage-devel] Re: Wrong matrix of Permutation

[David Joyner]

On Mon, Jun 15, 2020 at 11:21 AM 'Paul Mercat' via sage-devel <
sage-devel@googlegroups.com> wrote:

> Another bug with PermutationGroup:
>
> {{
> g1,g2 = PermutationGroup([(1,2,3,4), (1,3,2,4)]).gens()
> (g1*g2)(3), g1(g2(3))
> }}
>
> should gives two times the same result, but it is not the case...
> The action of the group on {1,2,3,4} is not an action !
>

Did you mean to say the action on {1,2,3,4} is not a left action?
Some prefer right actions


>
> Le lundi 15 juin 2020 16:58:18 UTC+2, Paul Mercat a écrit :
>>
>> Hi !
>>
>> Sage doesn't compute correctly the matrix of a Permutation:
>>
>> matrix(Permutation('(1,2,3,4)'))
>>
>> return a wrong answer: it returns the inverse of the correct result.
>> The product of matrices of permutations must be equal to the matrix of
>> the composition.
>>
>> If we do:
>>
>> PermutationGroup([(1,2,3,4)]).gens()[0].matrix()
>>
>> then we get the correct result.
>>
> --
> 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/e4095a01-08f8-4aa1-924d-2c4494aeddd3o%40googlegroups.com
> 
> .
>

-- 
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/CAEQuuAWLKO0tTVTvBHk3oDJTgwMmS7AavFEqFS6CtuPGWv0%2BTQ%40mail.gmail.com.

Re: [sage-devel] Re: Lie symmetries of differential equations

[David Joyner]

Is the command
sympy.solvers.ode.infinitesimals
(in sympy, therefore in Sage) related to what you want?
https://docs.sympy.org/latest/modules/solvers/ode.html#infinitesimals


On Fri, Jun 12, 2020 at 8:07 PM Mikhail Malakhaltsev 
wrote:

> Dear Furcan,
>
> The topic is very interesting, there are several implementations of
> "symmetry analysis of differential equations" in software, for example, see
> Gerd Baumann "Symmetry Analysis of Differential Equations with
> Mathematica", or the project jets.math.slu.cz (I did not know about the
> book by Hans Stephani, thank you). Of course, it would be interesting to do
> similar things in SAGE, and  I could also contribute a bit to this project
> :)
>
> Best wishes,
> Mikhail
>
> El jueves, 11 de junio de 2020, 5:23:10 (UTC-5), Furkan Semih Dündar
> escribió:
>>
>> Dearl All,
>>
>> I recently bought the book that I studied in my PhD years. It is 
>> "*Differential
>> Equations: their solution using symmetries*" by Hans Stephani.
>> https://www.amazon.com/Differential-Equations-Their-Solution-Symmetries/dp/0521355311/ref=sr_1_1?dchild=1=hans+stephani+differential+equation=1591870417=8-1
>>
>> In the book, methods to solve nonlinear ODE's or PDE's are given if the
>> differential equation has an underlying Lie group symmetry. I remember
>> using the program "Reduce" in the course. It may be useful.
>>
>> My aim is to incorporate the methods given in the book to Sage Math. So
>> if you are interested maybe we can form a small group to contribute to Sage
>> in this respect. I believe the ability to solve complex differential
>> equations is quite important for a symbolic math software. Please let me
>> know if you are interested.
>>
>> Best regards,
>>
>>
>> --
>> F. Semih Dündar
>>
>> --
> 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/d390c411-edba-4374-b1bd-99fd14d9a255o%40googlegroups.com
> 
> .
>

-- 
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/CAEQuuAU_2X5pG%3DAX5%3DtLscV7se%2Bmwn2MxuT77R_Vuijw%3DCwdUA%40mail.gmail.com.

Re: [sage-combinat-devel] Image of a permutation

[David Joyner]

On Sun, Mar 8, 2020 at 5:13 AM David Joyner  wrote:

>
>
> On Sun, Mar 8, 2020 at 4:58 AM Samuel Lelièvre 
> wrote:
>
>> Dear sage-combinat-devel,
>>
>> Please share any insight on this question
>> about the image of a permutation:
>>
>> https://groups.google.com/d/msg/sage-devel/kk1C8LrSOTU/8W1r7LIPAgAJ
>>
>>
> I agree with Michael O, a permutation is a bijection,
> so the image is the domain is the codomain.
> For a patch to "define the image of a permutation
> to be the set of elements that it does not fix" is a
> mistake, IMHO. Maybe the set computed could be
> called  "moved_points" or something like that?
>
>
On a tangential matter, I'd like to add that
according to Dan Bump's notes "Group Representation
Theory" (http://sporadic.stanford.edu/bump/group/gr1_4.html),
this set of elements that the permutations does not
fix is called the support. If that is true then the SageMath
support does not seem to be implemented correctly:

sage: G = SymmetricGroup(10)
sage: g = G.random_element(); g
(1,3,6,7,4)(5,8,9)
sage: g.support()
{1, 2, 3, 4, 5, 6, 7, 8}
sage: g = G.random_element(); g
(1,6)(2,8)(3,9,10)(5,7)
sage: g.support()
{1, 2, 3, 4, 5, 6, 7, 8, 9}

This is in sage 9.0b3.


>
>> Kind regards,
>> Samuel Lelièvre
>>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "sage-combinat-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to sage-combinat-devel+unsubscr...@googlegroups.com.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/sage-combinat-devel/CAEcArF1rkKgNxh5AfZJzLcQj0FeYSS7j6tHSVHvjJtRMvzgYDg%40mail.gmail.com
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-combinat-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-combinat-devel/CAEQuuAVjoKsvdZrqoFdbCXZ%2BtknsgeDjiEkSKE5BZG8SMBqhwA%40mail.gmail.com.

Re: [sage-combinat-devel] Image of a permutation

[David Joyner]

On Sun, Mar 8, 2020 at 4:58 AM Samuel Lelièvre 
wrote:

> Dear sage-combinat-devel,
>
> Please share any insight on this question
> about the image of a permutation:
>
> https://groups.google.com/d/msg/sage-devel/kk1C8LrSOTU/8W1r7LIPAgAJ
>
>
I agree with Michael O, a permutation is a bijection,
so the image is the domain is the codomain.
For a patch to "define the image of a permutation
to be the set of elements that it does not fix" is a
mistake, IMHO. Maybe the set computed could be
called  "moved_points" or something like that?



> Kind regards,
> Samuel Lelièvre
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-combinat-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-combinat-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-combinat-devel/CAEcArF1rkKgNxh5AfZJzLcQj0FeYSS7j6tHSVHvjJtRMvzgYDg%40mail.gmail.com
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-combinat-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-combinat-devel/CAEQuuAU8R70Z6D_%2B0PjF43opdo6YiEh%2BvK7yXoTEmkUdbS1GQQ%40mail.gmail.com.

Re: [sage-devel] Adopting orphaned math packages

[David Joyner]

On Wed, Dec 18, 2019 at 6:19 AM Antonio Rojas  wrote:

>
>
> El miércoles, 18 de diciembre de 2019, 11:19:54 (UTC+1), E. Madison Bray
> escribió:
>>
>>
>> Looking in the latest source tarball for SYMMETRICA there are
>> absolutely zero license or copyright notifications.  And if the author
>> is deceased, does that mean it's public domain?  I don't know.
>>
>>
> From http://www.algorithm.uni-bayreuth.de/en/research/SYMMETRICA/:
>
> "Symmetrica is public domain"
>
> which links to:
>
> /*
> Copyright (c) 1987-2010 , symmetrica (at) symmetrica.de
>
> Permission to use, copy, modify, and/or distribute this software for any
> purpose with or without fee is hereby granted, provided that the above
> copyright notice and this permission notice appear in all copies.
>
> THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHORS DISCLAIM ALL WARRANTIES
> WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
> MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
> ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
> WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
> ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
> OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
> */
>
>
This is consistent with the text provided in
https://directory.fsf.org/wiki/License:ISC


> --
> 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/1e886bed-13d8-405e-9f2c-d822c847d2c4%40googlegroups.com
> 
> .
>

-- 
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/CAEQuuAWeoNNvd-Unp06p82Vk%3D-e_gWqZrAMXuHE-539R0ggaxw%40mail.gmail.com.

Re: [sage-devel] Adopting orphaned math packages

[David Joyner]

On Wed, Dec 18, 2019 at 5:19 AM E. Madison Bray 
wrote:

> On Tue, Dec 17, 2019 at 6:38 PM Michael Orlitzky 
> wrote:
> >
> > SageMath uses a few packages that appear to have been abandoned
> > upstream. The most recent example I have in mind is Symmetrica:
> >
> >   http://www.algorithm.uni-bayreuth.de/en/research/SYMMETRICA/
> >
> > The package's website (symmetrica.de) and contact address are both dead.
> > The upstream contact (Axel Kohnert) listed in SPKG.txt also has a dead
> > email address on the Bayreuth site.
> >
> > Since the last release was over a decade ago, it contains a lot of old
> > bugs, and we've been patching it ourselves over the years. So has
> > everyone that ships it: Gentoo[0], Arch[1], Debian[2], Conda[3],
> > Fedora[4], etc.
> >
> > At some point, it becomes a waste of time to duplicate this effort. And
> > presumably, SageMath is the only modern consumer of the library. What do
> > people think about adopting these sorts of packages under the SageMath
> > umbrella (on Github?) where we can maintain them properly and make new
> > releases?
> >
> > My end-game here is that I would like to add Symmetrica to Gentoo, since
> > Dima was kind enough to add support for a system copy in Trac #28208.
> > But I don't want to be in the business of adding dead software to the
> > main repository, or of patching a tarball from 2008 myself for eternity.
>
> We have already adopted a couple libraries under the umbrella of the
> sagemath org on GitLab:
>
> https://gitlab.com/sagemath
>
> Most notably lcalc and zn_poly (I have been maintaining somewhat the
> latter; I also started a few months ago on an effort to redo its built
> system but the whole thing is a bit of a mess and I got sidetracked
> and didn't finish...).  In each case I believe that was with
> permission of their original authors.
>
> Looking in the latest source tarball for SYMMETRICA there are
> absolutely zero license or copyright notifications.  And if the author
> is deceased, does that mean it's public domain?  I don't know.
>

I found this license:
https://directory.fsf.org/wiki/Symmetrica#tab=Details


>
> What I did with zn_poly, as there was no existing repository for it
> either, is I got as many source tarballs for as many versions as I
> could, unpacked each one in chronological order into a git repository,
> and committed and tagged each version.  So at least now there is a
> version history represented in the repository:
>
> https://gitlab.com/sagemath/zn_poly/commits/master
>
> I then also applied each existing patch that was maintained in
> SageMath, or at least those that seemed generally applicable.  I also
> added some meager continuous integration:
>
> https://gitlab.com/sagemath/zn_poly/pipelines
>
> How many different source tarballs for symmetrica do we have?
> Effectively we only need the most recent, though it would be nice for
> historical preservation to try to find older versions as well.  Then,
> if you want to volunteer to help maintain it, I can help you set that
> up as we did with lcalc and zn_poly.
>
> --
> 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/CAOTD34aEY__CK71wvy%2B3sE6Ez20RTvasfYyczz7f7Dqh2poVzA%40mail.gmail.com
> .
>

-- 
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/CAEQuuAX5GGnQL_1pvq06hW%2Bhx3ttOF3BV3A5NTNzBRq72poajw%40mail.gmail.com.

Re: [sage-devel] Re: OSX Catalina works

[David Joyner]

On Mon, Nov 4, 2019 at 12:51 PM Dima Pasechnik  wrote:

> configure:12690: g++ -E -std=gnu++11
> -I/Volumes/Transcend/wooster/computer-algebra/anaconda3/include
> conftest.cpp
>
> anaconda conflict?
>

I deleted it, used brew to install a few more packages, and
added some symlinks (which brew leaves out for some reason?)
and tried again. It compiled the source but not the docs (some sort
of java issue), but sage works!

bash-3.2$ ./sage

┌┐

│ SageMath version 9.0.beta3, Release Date: 2019-10-26   │

│ Using Python 3.7.3. Type "help()" for help.│

└┘

┏┓

┃ Warning: this is a prerelease version, and it may be unstable. ┃

┗┛

sage: *2*+*3*
5

Thanks to everyone for the help! I now have a working version of sage
on  my 10.15.1 laptop running the latest version of Xcode:-)


> On Mon, Nov 4, 2019 at 5:37 PM David Joyner  wrote:
> >
> >
> >
> > On Sun, Nov 3, 2019 at 11:07 AM Dima Pasechnik 
> wrote:
> >>
> >> could you post config.log ?
> >
> >
> > It is attached.
> >
> >>
> >>
> >> On Sun, 3 Nov 2019, 15:03 David Joyner,  wrote:
> >>>
> >>>
> >>>
> >>> On Sun, Nov 3, 2019 at 6:49 AM David Joyner 
> wrote:
> >>>>
> >>>>
> >>>>
> >>>> On Sun, Nov 3, 2019 at 3:00 AM Dima Pasechnik 
> wrote:
> >>>>>
> >>>>> looks like gd package didn't install right.
> >>>>>
> >>>>> you can install gd via Homebrew:
> >>>>>
> >>>>> https://formulae.brew.sh/formula/gd
> >>>>>
> >>>>> also, by the way, install pkg-config
> >>>>>
> >>>>> https://formulae.brew.sh/formula/pkg-config
> >>>>>
> >>>>> (it would be great if someone with well-working osx system updated
> Installation guide to list names of Homebrew packages to match Sage ones,
> listed on
> >>>>> https://trac.sagemath.org/ticket/27330)
> >>>>>
> >>>>
> >>>> I'll do that and try again.
> >>>
> >>>
> >>> This time it failed while compiling m4ri.
> >>>
> >>>
> >>> m4ri-20140914.p0] ld: library not found for -lpng12
> >>> [m4ri-20140914.p0] clang: error: linker command failed with exit code
> 1 (use -v to see invocation)
> >>> [m4ri-20140914.p0] make[5]: *** [libm4ri.la] Error 1
> >>> [m4ri-20140914.p0] make[4]: *** [all] Error 2
> >>> [m4ri-20140914.p0]
> >>>
> >>>>
> >>>>
> >>>> BTW, I added gdlib.pc to PKG_CONFIG_PATH and reran make.
> >>>> This time it got all the way to sagelib before stalling:
> >>>>
> >>>> [sagelib-9.0.beta3]
> /Volumes/Transcend/wooster/computer-algebra/sage-9.0.beta3/local/include/omalloc/omalloc.h:20:20:
> note: expanded from macro 'REGISTER'
> >>>>
> >>>> [sagelib-9.0.beta3]   #define REGISTER register
> >>>>
> >>>> [sagelib-9.0.beta3]^
> >>>>
> >>>> [sagelib-9.0.beta3] 96 warnings generated.
> >>>>
> >>>> make[3]: *** [sagelib] Error 2
> >>>>
> >>>> make[2]: *** [all-start] Error 2
> >>>>
> >>>>
> >>>>
> >>>>>
> >>>>>
> >>>>> I also have formulas for flint and arb, they would be built from
> source and installed in Homebrew structure.
> >>>>>
> >>>>>
> >>>>>
> >>>>>
> >>>>>
> >>>>>
> >>>>>
> >>>>>
> >>>>> On Sat, 2 Nov 2019, 23:46 David Joyner,  wrote:
> >>>>>>
> >>>>>>
> >>>>>>
> >>>>>> On Fri, Nov 1, 2019 at 1:15 PM John H Palmieri <
> jhpalmier...@gmail.com> wrote:
> >>>>>>>
> >>>>>>> If you have the time, could you try uninstalling Xcode and then
> reinstalling it? You might also try uninstalling and reinstalling
> homebrew's gcc and any other homebrew components that are relevant to Sage.
> Ther

Re: [sage-devel] Re: OSX Catalina works

[David Joyner]

On Sun, Nov 3, 2019 at 6:49 AM David Joyner  wrote:

>
>
> On Sun, Nov 3, 2019 at 3:00 AM Dima Pasechnik  wrote:
>
>> looks like gd package didn't install right.
>>
>> you can install gd via Homebrew:
>>
>> https://formulae.brew.sh/formula/gd
>>
>> also, by the way, install pkg-config
>>
>> https://formulae.brew.sh/formula/pkg-config
>>
>> (it would be great if someone with well-working osx system updated
>> Installation guide to list names of Homebrew packages to match Sage ones,
>> listed on
>> https://trac.sagemath.org/ticket/27330)
>>
>>
> I'll do that and try again.
>

This time it failed while compiling m4ri.


m4ri-20140914.p0] ld: library not found for -lpng12
[m4ri-20140914.p0] clang: error: linker command failed with exit code 1
(use -v to see invocation)
[m4ri-20140914.p0] make[5]: *** [libm4ri.la] Error 1
[m4ri-20140914.p0] make[4]: *** [all] Error 2
[m4ri-20140914.p0]


>
> BTW, I added gdlib.pc to PKG_CONFIG_PATH and reran make.
> This time it got all the way to sagelib before stalling:
>
> [sagelib-9.0.beta3]
> /Volumes/Transcend/wooster/computer-algebra/sage-9.0.beta3/local/include/omalloc/omalloc.h:20:20:
> note: expanded from macro 'REGISTER'
>
> [sagelib-9.0.beta3]   #define REGISTER register
>
> [sagelib-9.0.beta3]^
>
> [sagelib-9.0.beta3] 96 warnings generated.
>
> make[3]: *** [sagelib] Error 2
>
> make[2]: *** [all-start] Error 2
>
>
>
>
>>
>> I also have formulas for flint and arb, they would be built from source
>> and installed in Homebrew structure.
>>
>>
>>
>>
>>
>>
>>
>>
>> On Sat, 2 Nov 2019, 23:46 David Joyner,  wrote:
>>
>>>
>>>
>>> On Fri, Nov 1, 2019 at 1:15 PM John H Palmieri 
>>> wrote:
>>>
>>>> If you have the time, could you try uninstalling Xcode and then
>>>> reinstalling it? You might also try uninstalling and reinstalling
>>>> homebrew's gcc and any other homebrew components that are relevant to Sage.
>>>> There may be some remnants of previously installed software that is somehow
>>>> interfering.
>>>>
>>>>   John
>>>>
>>>>
>>> I uninstalled xcode (including the CL tools) then reinstalled the latest
>>> version
>>> (including the CL tools, which now go in a new directory). I also
>>> uninstalled and reinstalled
>>> homebrew.
>>>
>>> This time homebrew installed gcc fine. The compilation of sage-9.0b3
>>> went fine until
>>> it hit brial-1.2.5. Then I got:
>>>
>>> [brial-1.2.5] Package gdlib was not found in the pkg-config search path.
>>> [brial-1.2.5] Perhaps you should add the directory containing `gdlib.pc'
>>> [brial-1.2.5] to the PKG_CONFIG_PATH environment variable
>>> [brial-1.2.5] Package 'gdlib', required by 'world', not found
>>>
>>> FWIW, I did find gdlib.pc in a directory of a non-working older sage:
>>>
>>> /Users/wdj/sagefiles/SageMath/local/lib/pkgconfig/gdlib.pc
>>>
>>>
>>>  Any suggestions?
>>>
>>>
>>>> On Wednesday, October 30, 2019 at 8:58:38 PM UTC-7, Andrew wrote:
>>>>>
>>>>>
>>>>>
>>>>> On Wednesday, 30 October 2019 23:27:45 UTC+11, Dima Pasechnik wrote:
>>>>>>
>>>>>> I meant cmath files without extensions. These are C++ header files.
>>>>>> It appears there are two such files on the list. Are they different?
>>>>>>
>>>>>> In the interim have have installed homebrew's gcc to see if this
>>>>> helps, but it doesn't. The cmath files that I now have on my system are:
>>>>>
>>>>> -rw-r--r--  1 rootwheel  14515 23 Jul 03:08
>>>>> /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/include/c++/v1/cmath
>>>>> -rw-r--r--  1 rootwheel  14515 23 Jul 03:08
>>>>> /Library/Developer/CommandLineTools/usr/include/c++/v1/cmath
>>>>>
>>>>> As you suspected, these two files are identical.
>>>>>
>>>>> from homebrew's gcc:
>>>>> -rw-r--r--  1 andrew  staff619 14 Aug 22:29
>>>>> /usr/local/Cellar/boost/1.71.0/include/boost/compatibility/cpp_c_headers/cmath
>>>>> -rw-r--r--  1 andrew  staff  49094 12 Aug 17:58
>>>>> /usr/local/Cellar/gcc/9.2.0_1/include/c++/9.2.0/cmath
>>>>> -rw-r--r--  1 andrew  staff   6570 12 Aug 17

Re: [sage-devel] Re: OSX Catalina works

[David Joyner]

On Sun, Nov 3, 2019 at 3:00 AM Dima Pasechnik  wrote:

> looks like gd package didn't install right.
>
> you can install gd via Homebrew:
>
> https://formulae.brew.sh/formula/gd
>
> also, by the way, install pkg-config
>
> https://formulae.brew.sh/formula/pkg-config
>
> (it would be great if someone with well-working osx system updated
> Installation guide to list names of Homebrew packages to match Sage ones,
> listed on
> https://trac.sagemath.org/ticket/27330)
>
>
I'll do that and try again.

BTW, I added gdlib.pc to PKG_CONFIG_PATH and reran make.
This time it got all the way to sagelib before stalling:

[sagelib-9.0.beta3]
/Volumes/Transcend/wooster/computer-algebra/sage-9.0.beta3/local/include/omalloc/omalloc.h:20:20:
note: expanded from macro 'REGISTER'

[sagelib-9.0.beta3]   #define REGISTER register

[sagelib-9.0.beta3]^

[sagelib-9.0.beta3] 96 warnings generated.

make[3]: *** [sagelib] Error 2

make[2]: *** [all-start] Error 2




>
> I also have formulas for flint and arb, they would be built from source
> and installed in Homebrew structure.
>
>
>
>
>
>
>
>
> On Sat, 2 Nov 2019, 23:46 David Joyner,  wrote:
>
>>
>>
>> On Fri, Nov 1, 2019 at 1:15 PM John H Palmieri 
>> wrote:
>>
>>> If you have the time, could you try uninstalling Xcode and then
>>> reinstalling it? You might also try uninstalling and reinstalling
>>> homebrew's gcc and any other homebrew components that are relevant to Sage.
>>> There may be some remnants of previously installed software that is somehow
>>> interfering.
>>>
>>>   John
>>>
>>>
>> I uninstalled xcode (including the CL tools) then reinstalled the latest
>> version
>> (including the CL tools, which now go in a new directory). I also
>> uninstalled and reinstalled
>> homebrew.
>>
>> This time homebrew installed gcc fine. The compilation of sage-9.0b3 went
>> fine until
>> it hit brial-1.2.5. Then I got:
>>
>> [brial-1.2.5] Package gdlib was not found in the pkg-config search path.
>> [brial-1.2.5] Perhaps you should add the directory containing `gdlib.pc'
>> [brial-1.2.5] to the PKG_CONFIG_PATH environment variable
>> [brial-1.2.5] Package 'gdlib', required by 'world', not found
>>
>> FWIW, I did find gdlib.pc in a directory of a non-working older sage:
>>
>> /Users/wdj/sagefiles/SageMath/local/lib/pkgconfig/gdlib.pc
>>
>>
>>  Any suggestions?
>>
>>
>>> On Wednesday, October 30, 2019 at 8:58:38 PM UTC-7, Andrew wrote:
>>>>
>>>>
>>>>
>>>> On Wednesday, 30 October 2019 23:27:45 UTC+11, Dima Pasechnik wrote:
>>>>>
>>>>> I meant cmath files without extensions. These are C++ header files.
>>>>> It appears there are two such files on the list. Are they different?
>>>>>
>>>>> In the interim have have installed homebrew's gcc to see if this
>>>> helps, but it doesn't. The cmath files that I now have on my system are:
>>>>
>>>> -rw-r--r--  1 rootwheel  14515 23 Jul 03:08
>>>> /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/include/c++/v1/cmath
>>>> -rw-r--r--  1 rootwheel  14515 23 Jul 03:08
>>>> /Library/Developer/CommandLineTools/usr/include/c++/v1/cmath
>>>>
>>>> As you suspected, these two files are identical.
>>>>
>>>> from homebrew's gcc:
>>>> -rw-r--r--  1 andrew  staff619 14 Aug 22:29
>>>> /usr/local/Cellar/boost/1.71.0/include/boost/compatibility/cpp_c_headers/cmath
>>>> -rw-r--r--  1 andrew  staff  49094 12 Aug 17:58
>>>> /usr/local/Cellar/gcc/9.2.0_1/include/c++/9.2.0/cmath
>>>> -rw-r--r--  1 andrew  staff   6570 12 Aug 17:58
>>>> /usr/local/Cellar/gcc/9.2.0_1/include/c++/9.2.0/ext/cmath
>>>> -rw-r--r--  1 andrew  staff  43806 12 Aug 17:58
>>>> /usr/local/Cellar/gcc/9.2.0_1/include/c++/9.2.0/tr1/cmath
>>>> -rw-r--r--  1 andrew  wheel619 31 Oct 13:51
>>>> /usr/local/src/sage/local/include/boost/compatibility/cpp_c_headers/cmath
>>>>
>>>> Andrew
>>>>
>>>> --
>>> 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/181aab

Re: [sage-devel] Re: OSX Catalina works

[David Joyner]

On Fri, Nov 1, 2019 at 1:15 PM John H Palmieri 
wrote:

> If you have the time, could you try uninstalling Xcode and then
> reinstalling it? You might also try uninstalling and reinstalling
> homebrew's gcc and any other homebrew components that are relevant to Sage.
> There may be some remnants of previously installed software that is somehow
> interfering.
>
>   John
>
>
I uninstalled xcode (including the CL tools) then reinstalled the latest
version
(including the CL tools, which now go in a new directory). I also
uninstalled and reinstalled
homebrew.

This time homebrew installed gcc fine. The compilation of sage-9.0b3 went
fine until
it hit brial-1.2.5. Then I got:

[brial-1.2.5] Package gdlib was not found in the pkg-config search path.
[brial-1.2.5] Perhaps you should add the directory containing `gdlib.pc'
[brial-1.2.5] to the PKG_CONFIG_PATH environment variable
[brial-1.2.5] Package 'gdlib', required by 'world', not found

FWIW, I did find gdlib.pc in a directory of a non-working older sage:

/Users/wdj/sagefiles/SageMath/local/lib/pkgconfig/gdlib.pc


 Any suggestions?


> On Wednesday, October 30, 2019 at 8:58:38 PM UTC-7, Andrew wrote:
>>
>>
>>
>> On Wednesday, 30 October 2019 23:27:45 UTC+11, Dima Pasechnik wrote:
>>>
>>> I meant cmath files without extensions. These are C++ header files.
>>> It appears there are two such files on the list. Are they different?
>>>
>>> In the interim have have installed homebrew's gcc to see if this helps,
>> but it doesn't. The cmath files that I now have on my system are:
>>
>> -rw-r--r--  1 rootwheel  14515 23 Jul 03:08
>> /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/include/c++/v1/cmath
>> -rw-r--r--  1 rootwheel  14515 23 Jul 03:08
>> /Library/Developer/CommandLineTools/usr/include/c++/v1/cmath
>>
>> As you suspected, these two files are identical.
>>
>> from homebrew's gcc:
>> -rw-r--r--  1 andrew  staff619 14 Aug 22:29
>> /usr/local/Cellar/boost/1.71.0/include/boost/compatibility/cpp_c_headers/cmath
>> -rw-r--r--  1 andrew  staff  49094 12 Aug 17:58
>> /usr/local/Cellar/gcc/9.2.0_1/include/c++/9.2.0/cmath
>> -rw-r--r--  1 andrew  staff   6570 12 Aug 17:58
>> /usr/local/Cellar/gcc/9.2.0_1/include/c++/9.2.0/ext/cmath
>> -rw-r--r--  1 andrew  staff  43806 12 Aug 17:58
>> /usr/local/Cellar/gcc/9.2.0_1/include/c++/9.2.0/tr1/cmath
>> -rw-r--r--  1 andrew  wheel619 31 Oct 13:51
>> /usr/local/src/sage/local/include/boost/compatibility/cpp_c_headers/cmath
>>
>> Andrew
>>
>> --
> 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/181aab57-8e49-46f3-b758-45f700587410%40googlegroups.com
> 
> .
>

-- 
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/CAEQuuAXWYFLxvsCuTMCmymAOYP%3D1XZjDKF6WiXLDOyLHdCa%2Bxg%40mail.gmail.com.

Re: [sage-devel] MacOS 10.15.1: gfortran does not compile in sage-8.9

[David Joyner]

On Fri, Nov 1, 2019 at 2:51 PM Isuru Fernando  wrote:

> Can you do `source
> /Volumes/Transcend/wooster/computer-algebra/anaconda3/bin/activate -p
> /Volumes/Transcend/wooster/computer-algebra/anaconda3/envs/mac1015-env` ?
>

Without the -p, yes. As given, it returns

activate does not accept more than one argument.


>
>
> On Fri, Nov 1, 2019 at 1:39 PM David Joyner  wrote:
>
>>
>>
>> On Fri, Nov 1, 2019 at 1:25 PM Isuru Fernando  wrote:
>>
>>> You need to activate the sage environment which would set SAGE_ROOT.
>>>
>>> `conda activate mac1015-env`
>>>
>>>
>> This gives me an error with the zsh shell not being initialized, while
>>
>> conda init zsh
>>
>> lists things like
>>
>> no change /Users/wdj/.zshrc
>> No action taken.
>>
>> I also tried switching to the bash shell, but that did not work
>> either.
>>
>>
>>
>>> Isuru
>>>
>>> On Fri, Nov 1, 2019 at 6:07 AM David Joyner  wrote:
>>>
>>>>
>>>>
>>>> On Thu, Oct 31, 2019 at 9:58 PM Isuru Fernando 
>>>> wrote:
>>>>
>>>>> Try installing sage to a new environment instead of an existing one.
>>>>>
>>>>>
>>>> This seemed to work, at least it installed the sage scripts in
>>>>
>>>> /Volumes/Transcend/wooster/computer-algebra/anaconda3/envs/mac1015-env/bin
>>>> (the environment is called mac1015-env). The sage script doesn't run
>>>> since I don't know where to set SAGE_ROOT. I don't see any binaries.
>>>> I think I managed to activate the new environment since it modified the
>>>> .zshrc file but adding that directory to the PATH.
>>>>
>>>>
>>>>> On Thu, Oct 31, 2019 at 5:31 PM David Joyner 
>>>>> wrote:
>>>>>
>>>>>>
>>>>>>
>>>>>> On Wed, Oct 30, 2019 at 6:04 PM Dima Pasechnik 
>>>>>> wrote:
>>>>>>
>>>>>>> I think at the moment most people who tried cannot build Sage on
>>>>>>> MacOS
>>>>>>> 10.15 with Xcode 11.1 (the latest one).
>>>>>>> Regarding gfortran, perhaps one can try installing Homebrew and use
>>>>>>> gfortram from there.
>>>>>>>
>>>>>>> If you just need a working Sage, your best bet on MacOS 10.15 might
>>>>>>> be
>>>>>>> the one from conda-forge.
>>>>>>> https://anaconda.org/conda-forge/sage
>>>>>>>
>>>>>>>
>>>>>> This doesn't seem to work for me either.
>>>>>> anaconda installed but
>>>>>> conda install -c conda-forge sage
>>>>>> (and friends) returned lots of "Solving environment: failed ..."
>>>>>> lines.
>>>>>>
>>>>>>
>>>>>>
>>>>>>>
>>>>>>>
>>>>>>> On Wed, Oct 30, 2019 at 10:57 PM Rob Gross <
>>>>>>> robert.gross.1...@gmail.com> wrote:
>>>>>>> >
>>>>>>> > Hi,
>>>>>>> >
>>>>>>> > I tried both upgrading to sage-8.9 and compiling from scratch, and
>>>>>>> both times gfortran would not compile.  I cannot attach the entire log 
>>>>>>> file
>>>>>>> without an error.  I attach the first few lines and the last few lines, 
>>>>>>> and
>>>>>>> of course I can e-mail anyone with as much information as needed.
>>>>>>> >
>>>>>>> > Here is the first error message in the log file:
>>>>>>> >
>>>>>>> > libtool: compile:
>>>>>>> /Users/gross/sage-8.9/local/var/tmp/sage/build/gfortran-7.4.0/gcc-build/./gcc/xgcc
>>>>>>> -B/Users/gross/sage-8.9/local/var/tmp/sage/build/gfortran-7.4.0/gcc-build/./gcc/
>>>>>>> -B/Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/bin/
>>>>>>> -B/Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/lib/ -isystem
>>>>>>> /Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/include -isystem
>>>>>>> /Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/sys-include
>>>>>>> -DHAVE_CONFIG_H -I. -I../../../src/libssp -Wall -g -O2 -MT gets-chk.lo 
&

Re: [sage-devel] MacOS 10.15.1: gfortran does not compile in sage-8.9

[David Joyner]

On Fri, Nov 1, 2019 at 1:25 PM Isuru Fernando  wrote:

> You need to activate the sage environment which would set SAGE_ROOT.
>
> `conda activate mac1015-env`
>
>
This gives me an error with the zsh shell not being initialized, while

conda init zsh

lists things like

no change /Users/wdj/.zshrc
No action taken.

I also tried switching to the bash shell, but that did not work
either.



> Isuru
>
> On Fri, Nov 1, 2019 at 6:07 AM David Joyner  wrote:
>
>>
>>
>> On Thu, Oct 31, 2019 at 9:58 PM Isuru Fernando  wrote:
>>
>>> Try installing sage to a new environment instead of an existing one.
>>>
>>>
>> This seemed to work, at least it installed the sage scripts in
>> /Volumes/Transcend/wooster/computer-algebra/anaconda3/envs/mac1015-env/bin
>> (the environment is called mac1015-env). The sage script doesn't run
>> since I don't know where to set SAGE_ROOT. I don't see any binaries.
>> I think I managed to activate the new environment since it modified the
>> .zshrc file but adding that directory to the PATH.
>>
>>
>>> On Thu, Oct 31, 2019 at 5:31 PM David Joyner  wrote:
>>>
>>>>
>>>>
>>>> On Wed, Oct 30, 2019 at 6:04 PM Dima Pasechnik 
>>>> wrote:
>>>>
>>>>> I think at the moment most people who tried cannot build Sage on MacOS
>>>>> 10.15 with Xcode 11.1 (the latest one).
>>>>> Regarding gfortran, perhaps one can try installing Homebrew and use
>>>>> gfortram from there.
>>>>>
>>>>> If you just need a working Sage, your best bet on MacOS 10.15 might be
>>>>> the one from conda-forge.
>>>>> https://anaconda.org/conda-forge/sage
>>>>>
>>>>>
>>>> This doesn't seem to work for me either.
>>>> anaconda installed but
>>>> conda install -c conda-forge sage
>>>> (and friends) returned lots of "Solving environment: failed ..."
>>>> lines.
>>>>
>>>>
>>>>
>>>>>
>>>>>
>>>>> On Wed, Oct 30, 2019 at 10:57 PM Rob Gross <
>>>>> robert.gross.1...@gmail.com> wrote:
>>>>> >
>>>>> > Hi,
>>>>> >
>>>>> > I tried both upgrading to sage-8.9 and compiling from scratch, and
>>>>> both times gfortran would not compile.  I cannot attach the entire log 
>>>>> file
>>>>> without an error.  I attach the first few lines and the last few lines, 
>>>>> and
>>>>> of course I can e-mail anyone with as much information as needed.
>>>>> >
>>>>> > Here is the first error message in the log file:
>>>>> >
>>>>> > libtool: compile:
>>>>> /Users/gross/sage-8.9/local/var/tmp/sage/build/gfortran-7.4.0/gcc-build/./gcc/xgcc
>>>>> -B/Users/gross/sage-8.9/local/var/tmp/sage/build/gfortran-7.4.0/gcc-build/./gcc/
>>>>> -B/Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/bin/
>>>>> -B/Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/lib/ -isystem
>>>>> /Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/include -isystem
>>>>> /Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/sys-include
>>>>> -DHAVE_CONFIG_H -I. -I../../../src/libssp -Wall -g -O2 -MT gets-chk.lo -MD
>>>>> -MP -MF .deps/gets-chk.Tpo -c ../../../src/libssp/gets-chk.c  -fno-common
>>>>> -DPIC -o .libs/gets-chk.o
>>>>> > In file included from
>>>>> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/sys/wait.h:110:0,
>>>>> >  from
>>>>> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/stdlib.h:66,
>>>>> >  from ../../../src/libssp/gets-chk.c:39:
>>>>> >
>>>>> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/sys/resource.h:
>>>>> In function 'getiopolicy_np':
>>>>> >
>>>>> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/sys/resource.h:443:34:
>>>>> error: expected declaration specifiers before '__OSX_AVAILABLE_STARTING'
>>>>> >  int getiopolicy_np(int, int)
>>>>> __OSX_AVAILABLE_STARTING(__MAC_10_5, __IPHONE_2_0);
>>>>> > 

Re: [sage-devel] MacOS 10.15.1: gfortran does not compile in sage-8.9

[David Joyner]

On Thu, Oct 31, 2019 at 9:58 PM Isuru Fernando  wrote:

> Try installing sage to a new environment instead of an existing one.
>
>
This seemed to work, at least it installed the sage scripts in
/Volumes/Transcend/wooster/computer-algebra/anaconda3/envs/mac1015-env/bin
(the environment is called mac1015-env). The sage script doesn't run
since I don't know where to set SAGE_ROOT. I don't see any binaries.
I think I managed to activate the new environment since it modified the
.zshrc file but adding that directory to the PATH.


> On Thu, Oct 31, 2019 at 5:31 PM David Joyner  wrote:
>
>>
>>
>> On Wed, Oct 30, 2019 at 6:04 PM Dima Pasechnik  wrote:
>>
>>> I think at the moment most people who tried cannot build Sage on MacOS
>>> 10.15 with Xcode 11.1 (the latest one).
>>> Regarding gfortran, perhaps one can try installing Homebrew and use
>>> gfortram from there.
>>>
>>> If you just need a working Sage, your best bet on MacOS 10.15 might be
>>> the one from conda-forge.
>>> https://anaconda.org/conda-forge/sage
>>>
>>>
>> This doesn't seem to work for me either.
>> anaconda installed but
>> conda install -c conda-forge sage
>> (and friends) returned lots of "Solving environment: failed ..."
>> lines.
>>
>>
>>
>>>
>>>
>>> On Wed, Oct 30, 2019 at 10:57 PM Rob Gross 
>>> wrote:
>>> >
>>> > Hi,
>>> >
>>> > I tried both upgrading to sage-8.9 and compiling from scratch, and
>>> both times gfortran would not compile.  I cannot attach the entire log file
>>> without an error.  I attach the first few lines and the last few lines, and
>>> of course I can e-mail anyone with as much information as needed.
>>> >
>>> > Here is the first error message in the log file:
>>> >
>>> > libtool: compile:
>>> /Users/gross/sage-8.9/local/var/tmp/sage/build/gfortran-7.4.0/gcc-build/./gcc/xgcc
>>> -B/Users/gross/sage-8.9/local/var/tmp/sage/build/gfortran-7.4.0/gcc-build/./gcc/
>>> -B/Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/bin/
>>> -B/Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/lib/ -isystem
>>> /Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/include -isystem
>>> /Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/sys-include
>>> -DHAVE_CONFIG_H -I. -I../../../src/libssp -Wall -g -O2 -MT gets-chk.lo -MD
>>> -MP -MF .deps/gets-chk.Tpo -c ../../../src/libssp/gets-chk.c  -fno-common
>>> -DPIC -o .libs/gets-chk.o
>>> > In file included from
>>> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/sys/wait.h:110:0,
>>> >  from
>>> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/stdlib.h:66,
>>> >  from ../../../src/libssp/gets-chk.c:39:
>>> >
>>> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/sys/resource.h:
>>> In function 'getiopolicy_np':
>>> >
>>> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/sys/resource.h:443:34:
>>> error: expected declaration specifiers before '__OSX_AVAILABLE_STARTING'
>>> >  int getiopolicy_np(int, int) __OSX_AVAILABLE_STARTING(__MAC_10_5,
>>> __IPHONE_2_0);
>>> >   ^~~~
>>> >
>>> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/sys/resource.h:449:39:
>>> error: expected '=', ',', ';', 'asm' or '__attribute__' before
>>> '__OSX_AVAILABLE_STARTING'
>>> >  int setiopolicy_np(int, int, int)
>>> __OSX_AVAILABLE_STARTING(__MAC_10_5, __IPHONE_2_0);
>>> >
>>> > Any ideas?
>>> >
>>> > Thanks.--Rob
>>> >
>>> > --
>>> > 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/b557aad7-51f6-469b-9dac-bac679275400%40googlegroups.com
>>> .
>>>
>>> --
>>> You received this message because you are subscribed to the Google
>>> Groups "

Re: [sage-devel] MacOS 10.15.1: gfortran does not compile in sage-8.9

[David Joyner]

On Wed, Oct 30, 2019 at 6:04 PM Dima Pasechnik  wrote:

> I think at the moment most people who tried cannot build Sage on MacOS
> 10.15 with Xcode 11.1 (the latest one).
> Regarding gfortran, perhaps one can try installing Homebrew and use
> gfortram from there.
>
> If you just need a working Sage, your best bet on MacOS 10.15 might be
> the one from conda-forge.
> https://anaconda.org/conda-forge/sage
>
>
This doesn't seem to work for me either.
anaconda installed but
conda install -c conda-forge sage
(and friends) returned lots of "Solving environment: failed ..."
lines.



>
>
> On Wed, Oct 30, 2019 at 10:57 PM Rob Gross 
> wrote:
> >
> > Hi,
> >
> > I tried both upgrading to sage-8.9 and compiling from scratch, and both
> times gfortran would not compile.  I cannot attach the entire log file
> without an error.  I attach the first few lines and the last few lines, and
> of course I can e-mail anyone with as much information as needed.
> >
> > Here is the first error message in the log file:
> >
> > libtool: compile:
> /Users/gross/sage-8.9/local/var/tmp/sage/build/gfortran-7.4.0/gcc-build/./gcc/xgcc
> -B/Users/gross/sage-8.9/local/var/tmp/sage/build/gfortran-7.4.0/gcc-build/./gcc/
> -B/Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/bin/
> -B/Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/lib/ -isystem
> /Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/include -isystem
> /Users/gross/sage-8.9/local/x86_64-apple-darwin19.0.0/sys-include
> -DHAVE_CONFIG_H -I. -I../../../src/libssp -Wall -g -O2 -MT gets-chk.lo -MD
> -MP -MF .deps/gets-chk.Tpo -c ../../../src/libssp/gets-chk.c  -fno-common
> -DPIC -o .libs/gets-chk.o
> > In file included from
> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/sys/wait.h:110:0,
> >  from
> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/stdlib.h:66,
> >  from ../../../src/libssp/gets-chk.c:39:
> >
> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/sys/resource.h:
> In function 'getiopolicy_np':
> >
> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/sys/resource.h:443:34:
> error: expected declaration specifiers before '__OSX_AVAILABLE_STARTING'
> >  int getiopolicy_np(int, int) __OSX_AVAILABLE_STARTING(__MAC_10_5,
> __IPHONE_2_0);
> >   ^~~~
> >
> /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk/usr/include/sys/resource.h:449:39:
> error: expected '=', ',', ';', 'asm' or '__attribute__' before
> '__OSX_AVAILABLE_STARTING'
> >  int setiopolicy_np(int, int, int)
> __OSX_AVAILABLE_STARTING(__MAC_10_5, __IPHONE_2_0);
> >
> > Any ideas?
> >
> > Thanks.--Rob
> >
> > --
> > 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/b557aad7-51f6-469b-9dac-bac679275400%40googlegroups.com
> .
>
> --
> 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/CAAWYfq3LG%2Bj6eWxrYtJ7K%3Dc__PTtC%3DkNyWX9J8ywNY-u%3DPeugA%40mail.gmail.com
> .
>

-- 
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/CAEQuuAUv-MT7kQi3npsH5QFWintsYh0BneOHVmHpo0bwjCcMUQ%40mail.gmail.com.

Re: [sage-devel] OSX Catalina works

[David Joyner]

On Sun, Oct 13, 2019 at 11:17 AM John H Palmieri 
wrote:

> A few days ago, after the Catalina release, I used Homebrew to build gcc,
> and it worked. Well, it built from source, which took a while, but it built
> a version of gfortran which worked well enough to build Sage. (As far as I
> know, it's completely functional, but the only reason I install gfortran is
> to be able to build Sage.)
>

I installed homebrew on OS10.15.1, promptly got a "10.15 is unsupported"
warning,
tried to compile gcc, but that failed with another  "10.15 is unsupported"
warning.


>
> On Sunday, October 13, 2019 at 7:04:57 AM UTC-7, Dima Pasechnik wrote:
>>
>> the fact that Homebrew is not yet ready for 10.15 speaks for itself.
>>
>> On Sun, 13 Oct 2019, 14:56 David Joyner,  wrote:
>>
>>>
>>>
>>> On Sun, Oct 13, 2019 at 4:26 AM Volker Braun  wrote:
>>>
>>>> I just upgraded the OSX buildbot and Sage works in case anybody is
>>>> wondering. This is the first time in years that the latest OSX release
>>>> doesn't introduce major toolchain issues and/or scrambles the filesystem,
>>>> hope this starts a trend ;-)
>>>>
>>>
>>> I can't get the pre-10.15 binaries to work (error in executing python
>>> 2.7),
>>> nor can I get the source to compile on 10.15.1 (stalls out on compiling
>>> gfortran-7.4.0). I haven't tried the app version though.
>>> This is on a late 2013 macbook pro.
>>>
>>>
>>>
>>>> --
>>>> 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-...@googlegroups.com.
>>>> To view this discussion on the web visit
>>>> https://groups.google.com/d/msgid/sage-devel/069eafdb-e5c7-42cc-a72d-d9ff11b1bf53%40googlegroups.com
>>>> <https://groups.google.com/d/msgid/sage-devel/069eafdb-e5c7-42cc-a72d-d9ff11b1bf53%40googlegroups.com?utm_medium=email_source=footer>
>>>> .
>>>>
>>> --
>>> 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-...@googlegroups.com.
>>> To view this discussion on the web visit
>>> https://groups.google.com/d/msgid/sage-devel/CAEQuuAW6EeWi91CH763omMKn5Obq12m5_t5usA8tUYvOvPKVEw%40mail.gmail.com
>>> <https://groups.google.com/d/msgid/sage-devel/CAEQuuAW6EeWi91CH763omMKn5Obq12m5_t5usA8tUYvOvPKVEw%40mail.gmail.com?utm_medium=email_source=footer>
>>> .
>>>
>> --
> 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/6a3e69a5-fd42-4965-a6fe-4a24ee1e8567%40googlegroups.com
> <https://groups.google.com/d/msgid/sage-devel/6a3e69a5-fd42-4965-a6fe-4a24ee1e8567%40googlegroups.com?utm_medium=email_source=footer>
> .
>

-- 
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/CAEQuuAXC8Mb-JpF_tjngoo0A6xqx-s11RL2_08u5HV%3DMd90DyA%40mail.gmail.com.

Re: [sage-devel] OSX Catalina works

[David Joyner]

On Sun, Oct 13, 2019 at 4:26 AM Volker Braun  wrote:

> I just upgraded the OSX buildbot and Sage works in case anybody is
> wondering. This is the first time in years that the latest OSX release
> doesn't introduce major toolchain issues and/or scrambles the filesystem,
> hope this starts a trend ;-)
>

I can't get the pre-10.15 binaries to work (error in executing python 2.7),
nor can I get the source to compile on 10.15.1 (stalls out on compiling
gfortran-7.4.0). I haven't tried the app version though.
This is on a late 2013 macbook pro.



> --
> 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/069eafdb-e5c7-42cc-a72d-d9ff11b1bf53%40googlegroups.com
> 
> .
>

-- 
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/CAEQuuAW6EeWi91CH763omMKn5Obq12m5_t5usA8tUYvOvPKVEw%40mail.gmail.com.

Re: [sage-devel] SymmetricGroup.word_problem returns incorrect result

[David Joyner]

On Fri, Oct 4, 2019 at 1:03 PM Chase Meadors  wrote:

> Perhaps I misunderstand word_problem, but I thought that, given a list of
> group elements [g_1, ..., g_n] that generates a subgroup H, and x some
> element (hopefully!) in H, that,
>
> x.word_problem([ g_1, ..., g_n ])
>

Is [g1,...,gn] = G.gens() ?

Here's an example:

sage: G = SymmetricGroup(6)
sage: g = G("(1,2,3,4)")
sage: Ggens = G.gens()
sage: g.word_problem(Ggens)
x1^-2*(x2*x1)^2*x2^-1
[['(1,2,3,4,5,6)', -2], ['((1,2)', 1], ['(1,2,3,4,5,6))', 2], ['(1,2)', -1]]
('x1^-2*(x2*x1)^2*x2^-1',
'(1,2,3,4,5,6)^-2*((1,2)*(1,2,3,4,5,6))^2*(1,2)^-1')

For a more abbreviated output, use

sage: g.word_problem(Ggens, False)
('x1^-2*(x2*x1)^2*x2^-1',
'(1,2,3,4,5,6)^-2*((1,2)*(1,2,3,4,5,6))^2*(1,2)^-1')

Now let's check this:

sage: x1 = Ggens[0]
sage: x2 = Ggens[1]
sage: x1^-2*(x2*x1)^2*x2^-1
(1,2,3,4)



> would result in an expression (word) for x in terms of the generators g_1,
> ..., g_n.
>
> So, for example, one would expect that x.word_problem([ x ]) would result
> in a length one word consisting just of x.
>
> Indeed, I can get this exact behavior using GAP directly (i.e. by using
> EpimorphismFromFreeGroup() and PreImagesRepresentative() directly), which
> makes me think there's a logical error in sage's implementation.
>
> Does this make sense, or am I just misunderstanding word_problem?
>
> On Friday, October 4, 2019 at 5:21:40 AM UTC-6, Dima Pasechnik wrote:
>>
>> On Fri, Oct 4, 2019 at 5:17 AM Chase Meadors  wrote:
>> >
>> > Hi! I'm trying to write permutation group elements in terms of a given
>> set of generators.
>> > However, the "word_problem" method appears to be giving me complete
>> nonsense.
>> >
>> > Output of version():
>> > 'SageMath version 8.8, Release Date: 2019-06-26'
>> >
>> > Not sure if this is relevant, but this is running in a docker image
>> based on sagemath/sagemath:8.8
>> >
>> > When I run the following code:
>> >
>> > G = SymmetricGroup(6)
>> > G('(1,2,3)').word_problem([ G('1,2,3') ], False)
>> >
>> > I get the output:
>> >
>> > ('x1^-1*x2^-1*x1*x2^-1', '()^-1*x2^-1*()*x2^-1')
>> >
>> > Which looks a lot like nonsense, unless I'm severely misunderstanding
>> how to use this function.
>>
>> The documentation for this function is indeed in need of improvement.
>> The following works, it seems:
>>
>> sage: G=SymmetricGroup(6)
>> sage: s=G('(1,2,3)')
>> sage: s.word_problem(G.gens(),False)
>> ('x1^-1*x2^-1*x1*x2^-1',
>> '(1,2,3,4,5,6)^-1*(1,2)^-1*(1,2,3,4,5,6)*(1,2)^-1')
>>
>> Is this what you're looking for?
>>
>> Anyhow, I've opened
>> https://trac.sagemath.org/ticket/28556
>>
>> to fix the docs on it.
>>
>>
>>
>>
>>
>>
>> > I think I've even identified the line with the error here:
>> https://github.com/sagemath/sage/blob/f0ae571d17e685258c1de89c2a29953f4d8fb302/src/sage/groups/perm_gps/permgroup_element.pyx#L1618
>> (It believe it should be H, not G).
>> >
>> > Has anyone encountered this? I searched through here and it didn't seem
>> like this was a known issue, so perhaps I'm just missing something.
>> >
>> > Thanks!
>> >
>> > -- Chase
>> >
>> > --
>> > 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-...@googlegroups.com.
>> > To view this discussion on the web visit
>> https://groups.google.com/d/msgid/sage-devel/f48621bb-d462-4e17-aeea-3b82fc13459f%40googlegroups.com.
>>
>>
> --
> 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/7115fd14-812f-49dd-8c62-5d9ee6026ea3%40googlegroups.com
> 
> .
>

-- 
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/CAEQuuAXKmBDDz-Oeb03F2_4Bvdfx6Ot_L8NudqbZ2u-sevR-PQ%40mail.gmail.com.

Re: [sage-devel] Bug or unfortunate feature?

[David Joyner]

On Thu, Sep 5, 2019 at 6:29 PM David Guichard 
wrote:

> When is a linear system consistent?
>
> This isn't helpful:
>
> a,b,c=var('a b c')
> A=matrix([[-4,5,9,a],[1, -2, 1, b],[-2,4,-2,c]])
> A.echelon_form()
> A.rref()
>
> [1 0 -23/3 0]
> [0 1 -13/3 0]
> [0 0 0 1]
>
> [1 0 -23/3 0]
> [0 1 -13/3 0]
> [0 0 0 1]
>
>
> But this works, so I know how to get what I want:
>
> R.=QQ[]
> A=matrix(R,[[-4,5,9,a],[1, -2, 1, b],[-2,4,-2,c]])
> A.echelon_form()
>
> [ 1 0 -23/3   -2/3*a - 5/3*b]
> [ 0 1 -13/3   -1/3*a - 4/3*b]
> [ 0 0 0 2*b + c]
>
> So [a,b,c] is in the span of the columns iff 2b+c==0.
>
> Somewhat oddly, rref doesn't work here:
>
> A.rref()
>
> [1 0 -23/3 0]
> [0 1 -13/3 0]
> [0 0 0 1]
>
>
This is because the CAS used assumes  2*b + c is non-zero.
I would call it an "unfortunate feature", except that it (this "feature")
gives teachers of linear algebra examples for tests and quizzes that
can't be correctly solved using a CAS, and have to be solved by hand.

-- 
> 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/3db327ca-9826-4fc8-92b1-b14aa80dfe82%40googlegroups.com
> 
> .
>

-- 
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/CAEQuuAX6p-Tn8uTsYrW_F7PR_gbtxuqz0rV4AJs_PB%2B4CuqCiA%40mail.gmail.com.

Re: [sage-devel] Sage 8.5 macOS app

[David Joyner]

On Fri, Dec 28, 2018 at 4:27 PM 'Justin C. Walker' via sage-devel <
sage-devel@googlegroups.com> wrote:

> Hi, all,
>
> I just upgraded to 10.14.2 on an MBP (2017 15”), and downloaded the newly
> minted Sage 8.5 mac app.
>
>
Works okay for me with 10.14.3 on an MBP (2013 15”).
I'm cd'ing to SageMath and typing ./sage



> Seems to mostly work, but starting a terminal session doesn’t work.  With
> “Terminal Session -> Sage”, there’s no response (no terminal window opens
> and there’s nothing obvious in the log files); with “Terminal Session ->
> Sage (advanced)”, the dialog box does not appear.
>
> Thoughts or suggestions?
>
> Thanks!
>
> Justin
>
> --
> Justin C. Walker, Curmudgeon-At-Large
> Institute for the Enhancement of the Director's Income
> 
> When LuteFisk is outlawed,
> Only outlaws will have LuteFisk
> 
>
>
>
>
>
> --
> Justin C. Walker, Curmudgeon-At-Large
> Director
> Institute for the Enhancement of the Director's Income
> 
> "Weaseling out of things is what separates us from the animals.
>  Well, except the weasel."
>   - Homer J Simpson
> 
>
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] merging gap_packages and database_gap spkgs into gap spkg

[David Joyner]

On Sat, Dec 15, 2018 at 5:09 AM Dima Pasechnik  wrote:

> The present design with two optional packages gap_packages and
> database_gap was dictated in the 1st place by copyright issues with
> their contents, preventing them from being standard.
>
> Since GAP release 4.9, all these issues have been resolved upstream,
> and I propose these spkgs to be merged into the standard GAP spkg. The
> upstream GAP tarball already contains everything we install there (and
> more).
>
> With this, Sage's GAP would be much closer to the upstream GAP, and
> packagers of Sage would be made happier too.
>
> As a part of the update to GAP 4.10, I've already merged database_gap
> into gap spkg on
> https://trac.sagemath.org/ticket/26856
>
> Unless I hear well-motivated objections (no, don't tell me about big
> tarballs and increased by 3 minutes build time), I'll proceed with
> doing the same to gap_packages.
>

+1


>
> Dima
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Polynomial roots() function has inconsistent return type for symbolic polynomials

[David Joyner]

On Tue, Apr 3, 2018 at 6:10 AM, Alex Thorne  wrote:
> Hi all. I think I have found a bug in Sage, but have not reported bugs
> before and would appreciate confirmation that it's actually reproducible
> (and not something broken with my own setup) before I make a ticket on trac.
>
> When finding roots of a polynomial with coefficients in SR having only a
> single root up to multiplicity, the return value is of the form
> [value, multiplicity]
> instead of the expected
> [(value, multiplicity)]
>
> Minimal working example:
> sage: Rq. = QQ[]
> sage: Rs. = SR[]
> sage: poly_rat = ((u-1)^2)
> sage: poly_sym = ((v-1)^2)
> sage: poly_rat.roots()
> [(1, 2)]
> sage: poly_sym.roots()
> [1, 2]
> sage: version()
> 'SageMath version 8.1, Release Date: 2017-12-07'
>

In SageMath version 7.6, the outputs are both of the form [(value,
multiplicity)].


> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] OS X (or BSD) testers needed

[David Joyner]

On Thu, Feb 22, 2018 at 10:16 AM, Jeroen Demeyer <j.deme...@ugent.be> wrote:
> On 2018-02-22 16:13, David Joyner wrote:
>>
>> clang: error: no such file or directory: 'forksigaltstack.c'
>> clang: error: no input files
>
>
> Sorry, I obviously forgot to mention the step "copy the attached file
> forksigaltstack.c to the current working directory" and then run
>
> uname -a
> gcc forksigaltstack.c -o forksigaltstack && ./forksigaltstack
>

jeeves:~ wdj$ gcc forksigaltstack.c -o forksigaltstack && ./forksigaltstack
status = 4



> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] OS X (or BSD) testers needed

[David Joyner]

On Thu, Feb 22, 2018 at 10:10 AM, Jeroen Demeyer  wrote:
> If you have an OS X (or BSD) system installed with development tools, please
> run:
>
> uname -a
> gcc forksigaltstack.c -o forksigaltstack && ./forksigaltstack
>
> and post the output. This code is a reduction of a test failure in


jeeves:~ wdj$ uname -a
Darwin jeeves.fios-router.home 17.5.0 Darwin Kernel Version 17.5.0:
Mon Jan 29 02:17:30 PST 2018; root:xnu-4570.50.257~17/RELEASE_X86_64
x86_64
jeeves:~ wdj$ gcc forksigaltstack.c -o forksigaltstack && ./forksigaltstack
clang: error: no such file or directory: 'forksigaltstack.c'
clang: error: no input files

OS:10.13.4 beta.

> cysignals. I consider that failure to be an OS X bug. I want to have some
> better idea of which systems are affected.
>
> The expected output is
>
> got signal 11
> status = 0
>
> but on some (presumably broken) systems I get
>
> status = 4
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] making database_gap (starting from GAP 4.9) standard - please vote

[David Joyner]

On Feb 17, 2018 6:01 PM, "Dima Pasechnik"  wrote:

GAP 4.9 (a release candidate, released 1st Feb) has  smallgrps and
transgrps, two GAP packages/libraries which are extremely useful, with
GPL-compatible licenses. In the past (and up to current GAP 4.8)
they had licenses non-GPL compatible licenses, preventing them from being
made standard.

It's about 60MB extra, but it would really make it possible to distribute
an essentially standard configuration of GAP, reducing the chances of
various mishaps, and easing the support a lot.

Thus I'm calling for a vote on this: to make database_gap standard as soon
as license permits (i.e. as soon as we update to GAP 4.9).


+1


Dima



-- 
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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Errors in GAP small groups library

[David Joyner]

On Fri, Feb 16, 2018 at 10:12 PM, David Roe  wrote:
> I'm trying to use GAP's small groups library (after installing gap_packages)
> and getting strange errors that don't occur in GAP when built from source.
> In particular (using gap_console to get more traceback)
>
> sage: gap_console()
> ...
> gap> NormalSubgroups(SmallGroup(1458,1180));
> Error, List Element: [4] must have an assigned value in
>   if map[d] > max  then
> elm := id;
> else
> if not IsBound( map[d] )  then
> Error( " lies not in group defined by " );
> fi;
> ll := LeadingExponentOfPcElement( pa, elm );
> lr := lc[d];
> exp[map[d]] := ll / lr mod ros[d];
> elm := LeftQuotientPowerPcgsElement( pcgs, map[d], exp[map[d]], elm );
> fi; at /home/roed/sage/local/gap/latest/lib/pcgsind.gi:1411 called from
> ExponentsOfPcElement( NumeratorOfModuloPcgs( pcgs ), elm, pcgs!.depthMap )
> at /home/roed/sage/local/gap/latest/lib/pcgsmodu.gi:931 called from
> ExponentsOfPcElement( ocr.modulePcgs, x ) at
> /home/roed/sage/local/gap/latest/lib/onecohom.gi:264 called from
> ocr.moduleMap( n ) at /home/roed/sage/local/gap/latest/lib/onecohom.gi:339
> called from
> ocr.listToCocycle( lc ) at
> /home/roed/sage/local/gap/latest/lib/grplatt.gi:1926 called from
> opr( Zero( vs ), k ) at /home/roed/sage/local/gap/latest/lib/grplatt.gi:1932
> called from
> ...  at line 2 of *stdin*
>
> Similar problems are occurring with other groups and some other functions.
>
> In the interest of finishing my calculation, I tried the following in an
> attempt to have Sage use a functional GAP:
>
> sage: import sage.interfaces.gap
> sage: sage.interfaces.gap.gap_cmd = "/home/roed/gap4r8/bin/gap.sh"
> sage: gap.eval('1+1')
>
> which hangs.  Similarly, I tried copying my functional gap installation to
> $SAGE_LOCAL/gap/ and updating the "latest" symlink; this allows
> gap_console() to function correctly but gap.eval() still hangs.
>

I'm not sure if this helps, but in 7.6,

gap> NormalSubgroups(SmallGroup(158,1));
[ Group([  ]), Group([ f2 ]),  ]

and

gap> SmallGroup(1458,1180);


work (but gap> NormalSubgroups(SmallGroup(1458,1180)); fails, as
stated). Moreover

sage: sage: import sage.interfaces.gap
: sage: sage.interfaces.gap.gap_cmd = "/home/roed/gap4r8/bin/gap.sh"
: sage: gap.eval('1+1')
:
'2'

doesn't hang.


> I don't tend to work with spkgs very often, so I feel like there's probably
> something simple I'm overlooking.  Any help in installing a functioning gap
> would be appreciated.  I'm also happy to help investigate what's wrong with
> our process for installing the small groups library.
> David
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Possible Bug - Updating Sage 50 2018 Canadian

[David Joyner]

On Fri, Jan 5, 2018 at 9:45 AM, Chris Phillips  wrote:
> Good day,
>
> Found an interesting issue with the latest update,
> SA_20181CPUP1_636506818893756281.exe.

I think you have the wrong email group. This group is for SageMath,
http://www.sagemath.org/

> Upon attempting installation, it errors out stating that the folder
> C:\Program Files (x86)\winsim\ConnectionManager\BACKUP did not have write
> permissions. Folder is created with 0 permissions/no owner. However, folder
> will remove itself if the system is rebooted.
> I attempted to manually create the folder with permissions and the installer
> got further, but had the same error for C:\Program Files
> (x86)\winsim\TransactionManager2018 - CDN\BACKUP.
> After rebooting to create the new BACKUP folder, I found that if the
> installer fails, it deletes the BACKUP folders, thus removing the initial
> BACKUP folder I had created. So it errored out once again at the first
> folder.
> I needed to manually create BACKUP folders in both locations in order for
> the installation to complete successfully.
> Please find below the specs of the workstation I was working on.
>
> Kind regards,
> Chris P.
>
>
>
> _
>
>
> Dell Inspiron 5559
> Windows 10 Professional X64 - Build 16299
> I5-6200U
> 8Gb RAM
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Issue with quick start

[David Joyner]

On Tue, Nov 28, 2017 at 6:45 PM, Matthew Schroeder
 wrote:
> In the headings of the quick start it says things like "Symbolic Maths"  and
> "Numerical Maths"
>
> It is MATH not MATHS.
>

In Great Britain "mathematics" is abbreviated "maths". In the US,
"mathematics" is abbreviated "math".

> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Re: VOTE: inclusion of OpenSSL in Sage

[David Joyner]

On Sat, Oct 21, 2017 at 12:02 PM, Eric Gourgoulhon
 wrote:
> Hi,
>
> Having read the discussion, I would add a big +1 to what Thierry proposes in
> https://groups.google.com/d/msg/sage-devel/fE45025Wphs/FheYtjBWAAAJ
>
> So I guess that in terms of vote this means
>
> |X| Yes, we should fully support OpenSSL now, and clarify the licensing
> issue.
>
> BUT following Thierry's procedure:
>
> - check if libssl-dev (or similar) is installed on the OS
>   - yes:
> - use it
>   - no:
> - strongly complain about it, provide documentation on how to do it
>   (possibly provide a doc that depends on the system),
> - propose 3 options:
> - "i will install openssl from the distro, and come back later
>   (recommended)"
> - "i want Sage to install openssl optional package, i know that
>   there will be security issues"
> - "i do not want openssl support, i know that i will not be able
>   to install any R or Python package from the web"
>

I agree with this too.

On a related matter (discussed in this thread and another one), I would not
object if we dropped the distribution of R, except maybe for cocalc.com,
but supporting the interface with the system R.
As a data point: in my dept lots of people use R and lots use SageMath
but none use the R in SageMath.

> Best wishes,
>
> 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 post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Re: VOTE: inclusion of OpenSSL in Sage

[David Joyner]

On Mon, Oct 16, 2017 at 6:08 AM, Emmanuel Charpentier
 wrote:
> [ The first post started too fast... Sorry for the interruption ! ]
>
> Following numerous discussions on this list and various Trac tickets*, the
> issue of maintaining Sage-specific patches to various components of Sage
> emerged again about the proposed upgrade of R to 3.4.2 (discussed here).
> William again raises the issue of security.
>
> Since Trac#22189, installation of a systemwide opennssl is recommended (may
> be too strongly, in the taste of some respectable Sage developers...). The
> ongoing relicensing of OpenSSL should lift the last barriers to its
> inclusion in sage. A discussed here,, the probability of a legal problem
> related to the incusion of this library in Sage seems infinitesimal.
>
> It has beeen furthermore suggested to add to our licensing (an adaptatin of)
> the following language, used in Gnu Wget License (GPL) :
>
> "Additional permission under GNU GPL version 3 section 7
>
> If you modify this program, or any covered work, by linking or combining it
> with the OpenSSL project's OpenSSL library (or a modified version of that
> library), containing parts covered by the terms of the OpenSSL or SSLeay
> licenses, the Free Software Foundation grants you additional permission to
> convey the resulting work. Corresponding Source for a non-source form of
> such a combination shall include the source code for the parts of OpenSSL
> used as well as that of the covered work."
>
>
> The proposed inclusion would entail :
>
> Deprecation of our OpenSSL-avidance patches
> Standardization of SSL communications on OpenSSL
>
> At compilation, research of a systemwide OpenSSL
> If found : do nothing
> In not found : installation of OpenSSL in the Sage tree from a Sage-specific
> repository (as for most of our standard and optional packages...).
>
> Licensing clarification
>
> In short, we have two options : include OpenSSL now (using language
> clarification), or wait for the complete OpenSSL relicensing. The exact
> terms of the vote are therefore :
>
> |_| Yes, we should fully support OpenSSL now, and clarify the licensing
> issue.
>
> |_| No, we should wait until OpenSSL finishes fixing their license situation
> formally.
>

Has anyone emailed them and just tell them the plan is for SageMath
in November 2017 to include OpenSSL and include a license clarification
of some type, and ask the OpenSSL people for their reaction?

According to https://www.openssl.org/community/contacts.html the email
for licensing issues is i...@opensslfoundation.org, but they have a
developers' email list at
https://www.openssl.org/community/mailinglists.html.


> The vote will take place as answers to this post, and will be open until
> Monday October 23, 14h UTC.
>
> Sincerely yours,
>
>
> Emmanuel Charpentier
>
> * Perusing the results of searching Trac and sage-devel Google group is
> enlightening...
> --
> Emmanuel Charpentier
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] On (di)graph generation

[David Joyner]

On Oct 11, 2017 1:45 AM, "Jori Mäntysalo"  wrote:

1) list(graphs.nauty_geng(0)) gives empty list, whereas Sage knows a graph
of 0 vertices. Can someone ask McKay to handle this special case too?


Wouldn't it be easier to simply catch that case in the nauty_geng method?

2) Is there an example of graph property that holds after deleting any
vertex but not necessarily after deleting an edge? Or the converse?




Completeness, if you start with a complete graph, is preserved if you
delete a vertex but not if you delete an edge.





3) Currently graphs(...) has parameters vertices and augment. With
graphs(n, augment='edges') it generates all n-vertex graphs, whereas
graphs(n, augment='vertices') generates all graphs of 0, 1, ..., n
vertices. Would it be more logical to have parameters max_vertices and
min_vertices?

4) When is augment='edges' usefull? Is

sum(sum(1 for _ in graphs(i, augment='edges')) for i in range(9))

faster in someone's computer than

sum(1 for _ in graphs(8, augment='vertices'))

?

-- 
Jori Mäntysalo

-- 
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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] let's make FriCAS optional

[David Joyner]

On Tue, Sep 26, 2017 at 10:06 AM, 'Martin R' via sage-devel
 wrote:
> Dear all,
>
> I would like to propose to make the package FriCAS optional.  FriCAS
> provides some functionality which is otherwise either mostly missing (e.g.,
> guessing formulas, lazy powerseries), or not as complete as might be
> desirable (e.g., symbolic integration, solving differential equations).

+1
If it helps to improve Sage's DE solving capability, I'm all for it.

>
> The FriCAS interface was completely rewritten after FriCAS was demoted to
> experimental in #18563 and is now quite mature, containing lots of doctests.
>
> I opened trac ticket #23847 for the process.
>
> Martin
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] bug in cos ?!

[David Joyner]

On Sat, Sep 16, 2017 at 7:27 AM, Mickael Pechaud
 wrote:
>  Hello,
>
> I'm running SageMath 7.2, on a 64bits laptop with a Ubuntu 16.04.2 LTS
> (xenial). I got a wrong answer from cos :
>
> sage: float(cos(14*pi/9))
> -0.17364817766693041
>

FYI, cocalc.com returns

0.17364817766693041

> It should be positive - and it's inconsistent with the following lines :
>
> sage: float(cos(14*pi/9-2*pi))
> 0.17364817766693041
>
>
> sage: float(14*pi/9)
> 4.886921905584122
>
> sage: float(cos(4.886921905584122))
> 0.17364817766692953
>
> Am I missing something, or is there an actual problem here ?
>
> Thanks in advance,
>
> Mickaël
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Issues with Fourier series

[David Joyner]

On Wed, Aug 9, 2017 at 7:03 AM, Eric Gourgoulhon  wrote:
> Hi,
>
> It seems that the only way to compute with Sage the Fourier series of a
> periodic real function is through the methods fourier_series_* of
> piecewise-defined functions. Let us take a trivial example: the Fourier
> series of the cosine function:
>
> sage: f = piecewise([((0,2*pi), cos(x))])
>
> To get the cosine coefficient of order n of the Fourier series, one has to
> call the method fourier_series_cosine_coefficient with n and the half-period
> as argument:
>
> sage: f.fourier_series_cosine_coefficient(1, pi)
> 1
>
> So far so good. Now
>
> sage: f.fourier_series_partial_sum(1, pi)
> 0
>
> This is quite surprising at first glance and is actually the offset issue
> already discussed in #8603. The expect result is obtained via
>
> sage: f.fourier_series_partial_sum(2, pi)
> cos(x)
>
> To understand why one has to provide 2 as the first argument, let us have a
> look at the documentation:
>
> sage: f.fourier_series_partial_sum?
> Signature:  f.fourier_series_partial_sum(*args, **kwds)
> Docstring:
>Returns the partial sum
>
>   f(x) sim frac{a_0}{2} + sum_{n=1}^N [a_ncos(frac{npi
>   x}{L}) + b_nsin(frac{npi x}{L})],
>
>as a string.
>
> At the very least, this is very incomplete: there is no explicit relation
> between N and *args, nor between L and *args. One has to infer them from the
> provided examples. Moreover the specified output type is wrong: it is not a
> string but a symbolic expression:
>
> sage: type(f.fourier_series_partial_sum(2, pi))
> 
>
> The documentation of fourier_series_cosine_coefficient is better because it
> has an INPUT section:
>
> sage: f.fourier_series_cosine_coefficient?
> Signature:  f.fourier_series_cosine_coefficient(*args, **kwds)
> Docstring:
>Returns the n-th Fourier series coefficient of cos(npi x/L), a_n.
>
>INPUT:
>
>* "self" - the function f(x), defined over -L x L
>
>* "n" - an integer n=0
>
>* "L" - (the period)/2
>
>OUTPUT: a_n = frac{1}{L}int_{-L}^L f(x)cos(npi x/L)dx
>
> However , it  needs some correction: n=0 looks like a typo here.
>
> Besides the documentation, another issue is the relation between the period
> and the piecewise function domain. Since one has to provide the half-period
> L as an argument to the fourier_series_* methods, this suggests that L is
> independent from the domain provided to piecewise. Let us then define
>
> sage: f = piecewise([((0,4*pi), cos(x))])
>
> This is the same cosine function as before but defined on a larger domain.
> Let us ask for the Fourier coefficient of order 1  by providing pi as the
> half-period, as above:
>
> sage: f.fourier_series_cosine_coefficient(1, pi)
> 2
>
> Boom!
> Having a look at the code of fourier_series_cosine_coefficient, one sees
> clearly why there is such an error:
>
> sage: f.fourier_series_cosine_coefficient??
> from sage.all import cos, pi
> x = SR.var('x')
> result = 0
> for domain, f in parameters:
> for interval in domain:
> a = interval.lower()
> b = interval.upper()
> result += (f*cos(pi*x*n/L)/L).integrate(x, a, b)
> return SR(result).simplify_trig()
>
> The integral is taken over all the domain, while it should be taken over a
> single period only.
> A solution would be to deduce the half-period L from the domain (instead of
> getting it as an argument)  by writing something like
>
> L = (self.domain().sup() - self.domain().inf())/2
>
> I volunteer to write a ticket to improve the documentation and possibly the
> code. Any comment/suggestion prior to do so is welcome.
>

Thanks for looking into this, Eric. I agree with your comments that the docs
(and possible the code) needs some improvement.


> 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 post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Two issues about the coding theory method "weight_enumerator"

[David Joyner]

On Fri, Jul 14, 2017 at 5:35 AM, Johan S. H. Rosenkilde
 wrote:
> Thanks a lot for reporting! We *really* appreciate any feedback from
> using Sage in classes: on bugs, designs and feature requests.
>
> This bug is now #23433. I'll push a patch momentarily.
>

Thank you, Johan!

> Best,
> Johan Rosenkilde
>
>

...

>>>
>>> This mistake could be my fault, since I wrote the original version
>>> (long long ago). Unfortunately, I lack the git skills to submit a
>>> patch.
>>>

...

-- 
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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Two issues about the coding theory method "weight_enumerator"

[David Joyner]

On Thu, Jul 13, 2017 at 5:59 AM, 'B. L.' via sage-devel
 wrote:
> Dear Sage-Developers,
>
> I'd like to report two issues that I came across when working with the
> coding theory classes of SAGE.
>
> The Sage Reference Manual: Coding Theory, Release 7.6 [1] explains on p. 31:
> weight_enumerator [...] This is the bivariate, homogeneous polynomial in 푥
> and 푦 whose coefficient to x^iy^{n-i} is the number of codewords of
> 푠푒푙푓 of Hamming weight 푖. Here, 푛 is the length of 푠푒푙푓.
> Actually, Sage returns another polynomial, namely the polynomial in 푥 and
> 푦 whose coefficient to x^{n-i}y^i is the number of codewords of 푠푒푙푓 of
> Hamming weight 푖. (So the roles of x and y are interchanged).
> This can be directly with C.weight_enumerator?? in the example below [2].
>
> I suggest to either change the description in the reference or to alter the
> code in Sage.
>

I'd propose just switching the x,y in the code:

(1) On line 3503 of linear_code.py, change "return
sum(spec[i]*x**(n-i)*y**i for i in range(n+1))" to "return
sum(spec[i]*x**(i)*y**(n-i) for i in range(n+1))"

(2) On line 3507, change "return sum(spec[i]*x**(n-i) for i in
range(n+1))" to "return sum(spec[i]*x**(i) for i in range(n+1))"

(3) Some of the examples may change accordingly.

This mistake could be my fault, since I wrote the original version
(long long ago). Unfortunately, I lack the git skills to submit a
patch.


> The function weight_enumerator(bivariate=False) returns the evaluation of
> the the above polynomial for y=1. Should't it be (in the current version)
> the evaluation with x=1? In other words: Wouldn't one expect a polynomial in
> x (or y) whose coefficient to x^i (or y^i) is the number of codewords of
> 푠푒푙푓 of Hamming weight 푖?
> The example below [2] illustrates my point: The code has four codewords, one
> of weight 0, two of weight 3, one of weiht 4. Sage gives x^5 + 2*x^2 + x as
> the univariate weight enumerator. I would have expected either 1 + 2*x^3 +
> x^4 or 1 + 2*y^3 + y^4.
>
> If you agree, I suggest to alter the code accordingly.
>
> Kind regards
> Barbara
> PS: I tested the code with Sage version 7.6 on an iMac.
>
>
> [1] http://doc.sagemath.org/pdf/en/reference/coding/coding.pdf
>
> [2] Sage code for  the SageMathCell
>
> C= LinearCode(Matrix(GF(2),2,5, [[1,1,0,1,0], [0,0,1,1,1]]))
> print C.list()
> print C.spectrum()
> print C.weight_enumerator()
> print C.weight_enumerator(bivariate=False)
> C.weight_enumerator??
>
> http://sagecell.sagemath.org/?z=eJxztlXwycxLTSxyzk9J1fBNLCnKrNBwd9Mw0tQx0jHVUYiONtQx1DEA4VggzwDMBMLYWE1NXq6Cosy8EgVnvZzM4hINJH5xQWpySVFpLrJYeWpmekZJfGpeaW5qUWJJfhF-yaTMssSizMSSVFu3xJziVKBaLKrs7QGIgD2K=sage
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] An "easy looking" computation in AA that sage can't do

[David Joyner]

On Mon, Mar 20, 2017 at 7:51 AM, Jaume Aguade  wrote:
> Let r > a > 0 be real numbers. Let c = a + r, d = sqrt(r^2-a^2). Then, it is
> obvious that 2*a*c=c^2-d^2. However, sage crashes when trying to check this
> with a and r rather "simple" algebraic numbers.
>
> I've found this while using sage to solve elementary geometric problems
> involving circles and intersection of circles, i. e. algebraic numbers which
> can be written using only square roots.
>
> The capacity of working over the field AA is one of my favourite features of
> sage, so I was disappointed when I found this easy example which
> (apparently) cannot be worked out by sage. I would like to know if I'm
> missing something or there is some other way to deal with these
> computations.
>
> (The trouble persists in QQbar)
>
> Here is the code:
>
> a=AA(sqrt(sqrt(5)))
> r=AA(sqrt((AA(sqrt(13))-a)^2+3))
> c=a+r
>
> d= AA(sqrt(r^2-a^2))
>
> 2*a*c == c^2 - d^2
>

A possible work-around: It seems to work using SR:

sage: r = SR(sqrt((SR(sqrt(13))-a)^2+3))
sage: a = SR(sqrt(sqrt(5)))
sage: r = SR(sqrt((SR(sqrt(13))-a)^2+3))
sage: c = a+r
sage: d = SR(sqrt(r^2-a^2))
sage: bool(2*a*c == c^2 - d^2)
True

> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Sage runs in Window's 10's new Unix subsystem

[David Joyner]

On Thu, Jan 12, 2017 at 3:43 AM, GK  wrote:
>
>>
>> I am not having any problem starting the notebook. You might genuinely be
>> out of memory, or hard drive space.
>>
>
> I am not having trouble starting the notebook either, but I can not do
> anything with it, also, no, I am not running out of memory nor hard disk
> space.
>

I've tested the notebook out at work where there's a windows machine.
(a) It doesn't seem to work in IE.
(b) In chrome and FF, the initial command is very slow. Maybe 15
seconds or more. After that, it speeds up but is never snappy like the
CLI.
(c) I only tried the CLI once in windows and it seems to work fine. I
don't remember it being slow.

GK: Does your experience match this?

> I have increased the amount of virtual memory usable by windows to a
> ridiculous amount and I am running everything and monitoring my system at
> the same time and memory/hard disk space do not run out. Perhaps the amount
> of memory or hard disk space allocated by windows to the linux subsystem
> does actually run out, but I do not know how to check that. I related the
> problem with the windows update, as exactly before the update everything ran
> smoothly and right after the update sage never ran again. I do not think
> this is a coincidence...
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Re: Sage Windows Installer (take 2b)

[David Joyner]

On Sat, Dec 24, 2016 at 6:07 AM, Dima Pasechnik <dimp...@gmail.com> wrote:
>
>
> On Saturday, December 24, 2016 at 10:28:57 AM UTC, Erik Bray wrote:
>>
>> On Fri, Dec 23, 2016 at 12:11 AM, David Joyner <wdjo...@gmail.com> wrote:
>> > Erik Bray:
>> >
>> > Many thanks for this. Great job.
>> >
>> > I tested latest version on a windows 7 machine in a computer lab at
>> > work. The sage terminal worked fine. The sage notebook didn't work
>> > well in IE (the default browser). In chrome, it worked but was a
>> > little slow. For example, "2+3" took a second or so. Do you know why?
>> > I noticed a message "timeout waiting for kernel_info" in the console.
>>
>> Great, thanks for testing.  That's good the CLI worked fine.
>> Mysterious about the notebook though--you're the first I think to
>> report anything like that.  What do you mean by it "didn't work well
>> in IE"?
>

I had to restart it several times. The kernel kept dying. It was very
tricky to get it to work, and well beyond most students.

To switch to chrome: I opened chrome, went to settings, then selected
"make chrome the default browser", closed the IE version and
restarted. When I double-clicked on the sage notebook desktop icon,
sage opened in chrome. It worked fine but was a bit slower than the
CLI.

>
> sagenb never worked well with IE. IMHO student labs should not use sagenb,
> they should use jupyter notebooks instead.
>

When you start the windows notebook, you get a"jupyter" option and a
"SageMath 7.4" option in the drop-down menu in the upper RH corner of
the window. I selected SageMath. Is that sagenb? I assumed it was a
jupyter notebook running sage since it had the "In[1]:" cursor.

Thanks again.

>
>>
>>
>> Sometimes the first command takes a little longer than most as there's
>> some startup overhead, but a second is on the long side.  After that
>> it should not be so slow.
>>
>> At the moment the only reason I can think of is something odd in the
>> Windows firewall settings.
>
>
> with lab machines, it's often the case that some software is deployed on
> network shared filesystems, or otherwise make use of network shares;
> and this can slow things down a lot.
>

This sage binary was installed on that machine, not a network server.
No doubt, it could have weird firewall settings though.

This is on Windows 7. I don't have access to a machine with Windows 10 yet.

Thanks!

>>
>>
>> > On Thu, Dec 15, 2016 at 5:20 AM, Erik Bray <erik@gmail.com> wrote:
>> >> On Wed, Dec 14, 2016 at 9:10 PM, Peter Luschny <peter@gmail.com>
>> >> wrote:
>> >>>> I replaced the existing binary with a new one at
>> >>>
>> >>> BRAVO!
>> >>> All works fine.
>> >>
>> >> Great!
>> >>
>> >>> (only plot() gives no output)
>> >>
>> >> That's strange... I thought I fixed that, and it works for me.
>> >>
>> >> All it's doing to determine the image viewer is passing the file to
>> >> cygstart (cygstart is a program that comes with Cygwin that just uses
>> >> the Windows API to find the default program file the given file
>> >> type--in this case PNG I assume?)
>> >>
>> >> Maybe if you start up the "SageMath Shell" and manually run `cygstart
>> >> ` we can see what happens.
>> >>
>> >> Also, it was pointed out to me by someone else that the "SageMath
>> >> Console" shortcut link in the latest build is broken (it just has a
>> >> typo).
>> >>
>> >> --
>> >> 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+...@googlegroups.com.
>> >> To post to this group, send email to sage-...@googlegroups.com.
>> >> Visit this group at https://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+...@googlegroups.com.
>> > To post to this group, send email to sage-...@googlegroups.com.
>> > Visit this group 

Re: [sage-devel] Re: Sage Windows Installer (take 2b)

[David Joyner]

Erik Bray:

Many thanks for this. Great job.

I tested latest version on a windows 7 machine in a computer lab at
work. The sage terminal worked fine. The sage notebook didn't work
well in IE (the default browser). In chrome, it worked but was a
little slow. For example, "2+3" took a second or so. Do you know why?
I noticed a message "timeout waiting for kernel_info" in the console.

Hope this helps.

- David Joyner


On Thu, Dec 15, 2016 at 5:20 AM, Erik Bray <erik.m.b...@gmail.com> wrote:
> On Wed, Dec 14, 2016 at 9:10 PM, Peter Luschny <peter.lusc...@gmail.com> 
> wrote:
>>> I replaced the existing binary with a new one at
>>
>> BRAVO!
>> All works fine.
>
> Great!
>
>> (only plot() gives no output)
>
> That's strange... I thought I fixed that, and it works for me.
>
> All it's doing to determine the image viewer is passing the file to
> cygstart (cygstart is a program that comes with Cygwin that just uses
> the Windows API to find the default program file the given file
> type--in this case PNG I assume?)
>
> Maybe if you start up the "SageMath Shell" and manually run `cygstart
> ` we can see what happens.
>
> Also, it was pointed out to me by someone else that the "SageMath
> Console" shortcut link in the latest build is broken (it just has a
> typo).
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] vote on behaviour of is_similar for matrices

[David Joyner]

On Thu, Oct 27, 2016 at 4:48 AM, Frédéric Chapoton  wrote:
> Hello,
>
> on https://trac.sagemath.org/ticket/18505, we are trying to enhance the
> is_similar method of matrices.
>
> Because we cannot agree, we require your vote on the following matter:
>
> 1) When M.is_similar(N) is called and either M or N is not square:
>
> A) raise an helpful specific error message
> B) return False
>
> 2) When M.is_similar(N) is called and M and N are square of different sizes:
>
> A) raise an helpful specific error message
> B) return False
>
> Please vote. I am voting AA
>

AA

> Frederic
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Is Brown's construction available in the graph component of sagemath?

[David Joyner]

On Sun, Oct 9, 2016 at 4:59 PM,   wrote:
> Brown's construction is the function which takes a finite field to a graph
> with diameter 2.
> http://www.emis.ams.org/journals/EJC/Surveys/ds14.pdf
>
> Is it available in the graph component of sagemath?


I don't know but the Paley graph construction is in Sage. Is that
related to what you are talking about? You might look in the
graphs/generators/families.py module.


> If not, I plan to implement it for sagemath.
>
> yawara
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

[David Joyner]

On Sun, Oct 9, 2016 at 2:20 PM, Ted Kosan  wrote:
> David wrote:
>
>> I think a graphical version of this would be useful as a sage-based
>> online high school math tutorial program, such as the khan academy
>> algebra modules.
>
> Are either of the following examples close to what you have in mind?:
>
> http://data.ssucet.org/temp/solve_steps_example.png
>

This doesn't seem to have anything.

> https://www.youtube.com/watch?v=cy6bwNBkAK0
>

Not quite. I'm just talking about an automated system to help a create
student hint (like webassign has). A student goes through a khan
academy assignment, gets stuck, and they click a "help" button (which
would then call your program to create a series of graphics) to see
how a similar problem is solved step-by-step.

> Ted
>
>
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

[David Joyner]

On Sun, Oct 9, 2016 at 2:07 PM, Ted Kosan  wrote:
> For the past few years I have been working on an artificial intelligence
> step-by-step equation solver for elementary algebra equations that solves
> these equations using steps that a human would typically use. Here is an
> example of what I have working so far:
>
> In> LineForm(SolveSteps(MathParse("(8*x - 2 == -9 + 7*x)"), _x))
>
>   8*x - 2 == (-9) + 7*xThe original equation.
>   (8*x - 2) - ((-9) + 7*x) == 0Subtract (-9) + 7 * x from both
> sides.

...

>   x == (-7)Arithmetic.
>
> Is anybody interested in having step-by-step equation solving abilities like
> this added to Sage?
>

I think a graphical version of this would be useful as a sage-based
online high school math tutorial program, such as the khan academy
algebra modules.


> Ted
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Re: ReST References in Sphinx and uniqueness

[David Joyner]

On Mon, Sep 5, 2016 at 11:01 AM, Johan S. H. Rosenkilde
 wrote:
> Dima Pasechnik writes:
>> only a small minority of Sage users actually use terminal.
>
> How do you know that? Seriously, I'd like to know how our users
> distributed across interfaces. It's my impression that quite a lot of
> casual users of Sage begin with terminal use and never leave it.
>

There was a survey done some years ago. Relatively few people (like
me) almost exclusively used the terminal. If memory serves, the number
of terminal users was under 5%.

>> And in any event, demanding a bibliography reference in terminal is
>> a bit over the top (even people who live in terminal, like me, would use a
>> web browser to
>> look at references, and thus use HTML documentation).
>
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

[sage-devel] Re: [sage-support] Re: (William Stein) "my top priority right now is to **make a lot of money**"

[David Joyner]

On Fri, Aug 26, 2016 at 6:51 AM, Nathann Cohen  wrote:
>> Nathan does give the link to the original post, but he is quoting out of
>> context. Here is the full post:
>
>
> Still, it would be incomplete to claim, as in the original post, that the
> only aim of SageMath Inc. is to fund Sage development and associated
> activities. Take it as a proof that William announced that the development
> of SageMath Inc. was now his only professional activity, and you can safely
> guess that he will pay himself for that.
>
> Consequently, by making "a lot of money" through SageMath Inc. it is clear
> that William also aims at making money for himself (food, rent, whatever).
> Missing that, his presentation was certainly not exhaustive.
>
> Nathann
>
> Note to the moderator: this email only contains facts, and is of general
> interest to the community of developers of Sage, whose name is represented
> by the company SageMath Inc (owner of the trademark).
>

Nathann:

I've put you on the moderated list for both sage-devel and sage-support.

>From the sage-support page:

"Before posting, please check the FAQ page, try searching Sage
resources or goto ask.sagemath.org.
Guidelines: 1. only one question per post | 2. descriptive subject
title | 3. also describe the desired result and the context of the
problem.
Include: Platform (CPU) and Operating System | Exact version of Sage
(command: "version()") | Provide copy-paste-ready reproducible
commands causing the error."

Please send followups to sage-flame.

Thank you.




> --
> You received this message because you are subscribed to the Google Groups
> "sage-support" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-support+unsubscr...@googlegroups.com.
> To post to this group, send email to sage-supp...@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-support.
>
> 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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] mailing list administration

[David Joyner]

On Thu, Aug 25, 2016 at 10:33 AM, kcrisman  wrote:
>
>
>>> > I deleted it as flame bait.   I'm sick of people using sage-devel as a
>>> > forum to attack others
>>>

I have set Nathann to moderated posting on sage-devel.

IMHO, his last several posts were flame-bait and go in sage-flame not
sage-devel.

>>> I'm sick of it too. But this kind of unilateral actions only fuels the
>>> flame, it does not extinguish it.
>>>
>>> Especially given your position as a CEO of a for profit company, William.
>>> Even though you do not have the power to do the same with Sage as what just
>>> happened with MariaDB, the community is entitled with a legitimate
>>> (unfounded, I believe) fear of SageMath Inc. trying to do something similar
>>> at some point. This kind of unilateral censorship, although well
>>> intentioned, can only spark more of those flames.
>>
>>
>> If people really want flame bait on this list, then I am going to stop
>> reading sage-devel.
>
>
> It's a tough call here, because in a technical sense it was accurate and not
> attacking, so I would be inclined to have handled it via a "This is flame
> bait" response message (and indeed perhaps moving to sage-flame, if that's
> possible).  Even though I think regular readers of this know it was probably
> intended in some manner as an attack, for a first-time reader this might not
> have been clear.  But the lack of context (despite the link provided) is
> definitely problematic.  It would have been nice if someone other than the
> intended victim had been able to deal with the post, though, as it shouldn't
> have been his job. If having more moderators helps with that it's fine.  But
> will there be enough moderators?
>
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Re: symbolic computation with Chevalley generators for algebraic groups

[David Joyner]

Joe and Travis:
To add to all this: GAP has already implemented some related objects:
(1) Lie algebras
(http://www.gap-system.org/Manuals/doc/ref/chap64.html,
http://www.gap-system.org/Datalib/lie.html,
http://www.science.unitn.it/~degraaf/sla.html)
(2) real Lie groups (http://users.monash.edu/~heikod/corelg/),
(3) finite grps of Lie type
(http://www.gap-system.org/Manuals/doc/ref/chap50.html#X8674AAA578FE4AEE).
I'm sure I'm leaving some out.
- David


On Fri, Jun 24, 2016 at 9:51 AM, Travis Scrimshaw  wrote:
> Hey Joe,
>>
>>
>> I guess I am inclined to try to build this thing and see who is interested
>> in it. The ticket you linked is very helpful to me.
>
>
> Let me know what you need from me wrt #14901 or any additional feature
> requests.
>>
>>
>> I'm interested to know more about your plans for Lie groups and Groups of
>> Lie type.
>
>
>Right now, I don't have any immediate plans as I have many other things
> to do at present (one of which is getting back to polishing #14901). I would
> like to have Lie groups (over CC) use the SageManifolds framework rather
> than being abstract parents, and introduce their representation theory.
> However, I would be happy to review and offer my thoughts.
>>
>>
>> In some sense it seems to me that the objects I'm really working with are
>> Group schemes defined using a certain presentation. If I have a group scheme
>> I can take real points to get a lie group or points over a finite field to
>> get a finite group of Lie type. On the other hand depending on what one
>> wants to do with the Lie group/FGLT, this might have little to nothing to do
>> with how one wants to think about them.
>
>
>That is probably the best way to think about how to implement things:
> what do you want to be able to do with them or learn from the implementation
> (at least, this is one of the ways I learn new math things). From there,
> that can tell you what features and functionality you want, which will
> influence your design decisions.
>
> Best,
> Travis
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Copyrights

[David Joyner]

On Thu, May 26, 2016 at 6:48 AM, Erik Bray  wrote:
> On Thu, May 26, 2016 at 12:34 PM, Jeroen Demeyer  
> wrote:
>> On 2016-05-26 12:16, Erik Bray wrote:
>>>
>>> So my question is, what should I put in a new file?
>>
>> http://doc.sagemath.org/html/en/developer/coding_basics.html#headings-of-sage-library-code-files
>
> Thanks, I saw that.  I don't want to "(C) My Name" though.  Is there a
> more generic entity I can use?
>

I agree with Volker, you have the copyright even if you don't add your
name. Howevr, I don't recommend assigning it to someone else. If you
worry about your name in a file, why not just "(c) emb" with a date?
It's useful having that info so that if there is an obscure problem
arising the future, the devs can ask you a question.

> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Re: Making sage-7.1 fails on arch linux

[David Joyner]

On May 18, 2016 2:50 AM, "Dima Pasechnik"  wrote:
>
>
>
> On Wednesday, May 18, 2016 at 7:44:03 AM UTC+1, Adetokunbo Arogbonlo
wrote:
>>
>> Hi Sage Dev Team,
>>
>> Making sage from source fails on my machine.
>>
>> Sage version: sage-7.1
>>
>> Machine details:
>> Arch linux installed on a Macbook Pro (mid 2012)
>> OS:  arch linux
>> Linux kernel:  4.5.4-1-ARCH
>> Architecture:  x86_64
>> Processor: Intel core i5-3210M
>>
>> Failure Description:
>> Makefile:16: recipe for target 'all' failed
>> brail-0.8.4.3 fails to install.
>
>
> brial?
>
> please post the contents of SAGEROOT/logs/pkgs/brial-0.8.4.3.log

The OP sent in 3 posts for moderation, with different subject lines. I
approved 2 of them. His other post has that log.

>>
>>
>>
>> I successfully installed sagemath form the same tarball on a lenovo
laptop with debain Jessie,
>> and a 2006 toshiba laptop with arch linux.
>>
>> I tried installing brail from the official repos
>> however the problem still persists.
>>
>> Please advice me on how to proceed.
>>
>> Regards
>> Xero
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Re: problem/ possible bug with picewise constant functions

[David Joyner]

On Thu, Apr 21, 2016 at 11:50 PM, Ralf Stephan  wrote:
> Please review
> http://trac.sagemath.org/ticket/14801
>

I love this!!

You and Volker have done such great work on this and I really am very
much looking forward to this being put into Sage. Also, I don't see
any examples which used to work but don't work with the new version
you've made.

A comment on how I tested this (since I don't know git), I downloaded
your piecewise.py file from git. Added it to a new version of SageMath
(since "sage -clone" no longer works) and ran "sage -b". Then I
started sage and just ran then examples in the docstring. I tweeked
several just to see how minor changes affected things. They all went
perfectly.

> Regards,
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Re: problem/ possible bug with picewise constant functions

[David Joyner]

On Tue, Feb 17, 2015 at 7:14 AM, Pablo De Napoli  wrote:
> Many thanks Nils for your help.
>
> I think that is important that sage has consistent and easy to use
> interfaces, that functions do what most people would expect them to do
> at every place. Specially if we want it to be used in calculus
> classes, etc.
>
> Writing something like
>
> SR(0).function(x)
>
> instead of
>
> ConstantFunction(0)
>
> is not what most mathematicians or students would do,  I guess. Maybe
> there is something to improve here.
>


Agreed. The Piecewise class is very old and needs to be rewritten. I
think it even predates the nice symbolic function interface Sagemath
has.


> Pablo
>
>
>
>
>
> On Mon, Feb 16, 2015 at 1:39 PM, Nils Bruin  wrote:
>> On Monday, February 16, 2015 at 8:33:49 AM UTC-8, Nils Bruin wrote:
>>>
>>>
>>> f3=Piecewise([([0,1],SR(0).function(x)),([1,2],(1-x).function(x))])
>>
>>
>> Incidentally, the Piecewise documentation, which you can get with
>> "Piecewise?" , has a nice shortcut form:
>>
>> sage: f3 = Piecewise([([0,1],SR(0)), ([1,2],1-x)], x)
>>
>> (unfortunately it is necessary to write "SR(0)" there)
>>
>> --
>> 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.

-- 
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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] problem/ possible bug with picewise constant functions

[David Joyner]

On Mon, Feb 16, 2015 at 8:46 AM, Pablo De Napoli  wrote:
> Hi,
>
> I'm having trouble with some piecewise constant functions.
>
> Suppose that I define
>
> f=Piecewise ([([0,1],0),([1,2],x-1)])
>
> Then f.integral() works as expected, but f.derivative() will fail with
>
> TypeError: 'sage.rings.integer.Integer' object is not callable
>
> It seems that Sage does not understand that 0 is the null function,
> and treat it as an integer for with a derivative is not meaningful
>
> Then, I've tried defining
>
>  f1=Piecewise ([([0,1],ConstantFunction(0)),([1,2],x-1)])
>
> f1.derivative() now works and one would expect, but
> f1.integral() fails with a TypeError
>
> My last try was to cast 0 to the symbolic ring
>
> f2=Piecewise ([([0,1],SR(0)),([1,2],x-1)])
>
> Now f2.integral() works, but f2.derivative() fails with the error message
>
> ValueError: the number of arguments must be less than or equal to 0
>
> Whats the right way to define my function so that both integral and
> derivative work ? The behavior of Sage is annoying !  Any help is
> welcome!
>

Sorry, but I missed this message earlier.

Try instead:

sage: PR. = PolynomialRing(RR, "x")
sage: f = Piecewise([([0,1],0*x),([1,2],x-1)])
sage: f.derivative()
Piecewise defined function with 2 parts, [[(0, 1), x |--> 0], [(1, 2),
x |--> 1]]
sage: f.integral()
Piecewise defined function with 2 parts, [[(0, 1), x |--> 0], [(1, 2),
x |--> 1/2*x^2 - 1.0*x + 0.5]]


> best regards
> Pablo
>
> --
> 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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Re: SageMath for Windows installer

[David Joyner]

On Fri, Apr 8, 2016 at 5:25 AM, Erik Bray <erik.m.b...@gmail.com> wrote:
> On Fri, Apr 8, 2016 at 11:23 AM, Erik Bray <erik.m.b...@gmail.com> wrote:
>> On Thu, Apr 7, 2016 at 5:41 PM, David Joyner <wdjoy...@gmail.com> wrote:
>>> On Fri, Mar 25, 2016 at 8:41 AM, Dima Pasechnik <dimp...@gmail.com> wrote:
>>>>
>>>>
>>>> On Friday, March 25, 2016 at 11:53:51 AM UTC, aishen wrote:
>>>>>
>>>>> Unfortunatly it doesn't work on an intel core II pentium I have, it says
>>>>> it can't do virtualization...
>>>>
>>>>
>>>> you might need to change BIOS settings to allow virtialization.
>>>>
>>>
>>> The sysadmin at work tried this on a intel windows 7 machine, with the
>>> BIOS setting for hardware virtualization checked, and it gave the
>>> error "Could not start Docker VM".
>>>
>>> Further, no VM was installed on this machine.
>>>
>>> Any idea what the error was caused by?
>>
>> No, there are probably myriad reasons it could go wrong. Were they
>> able to install Docker Toolbox just by itself?
>

It did install Docker into the registry (so one could uninstall it,
which we did when trying a second time to install SageMath).
However, after "Could not start Docker VM" it said "backing out"
or something like that.

> It also sounds like a possible known failure mode is if some version
> of VirtualBox is already installed on the system but is too old.  Try
> uninstalling any existing VirtualBox first.
>

No VM at all was installed.

I'm not a windows user and this wasn't my machine.

>>>>> Le mercredi 23 mars 2016 12:15:58 UTC+1, Erik Bray a écrit :
>>>>>>
>>>>>> Hi all,
>>>>>>
>>>>>> I've been working for a few weeks on an installer for Sage on Windows,
>>>>>> which takes advantage of Docker to accomplish this.*  The goal of this
>>>>>> project is to make it possible to run Sage on Windows with as much
>>>>>> transparency as possible, such that the user isn't really aware that
>>>>>> there is any virtualization involved.  As you can read in my report
>>>>>> for the OpenDreamKit project on Docker containers [1] there are limits
>>>>>> to this.
>>>>>>
>>>>>> However, in the ideal case a user simply downloads and runs an
>>>>>> executable--clicks through a graphical install wizard, and then gets a
>>>>>> desktop icon which launches a Jupyter notebook (with sage and terminal
>>>>>> support) in their default web browser.  Although there are still a few
>>>>>> rough edges [2] the alpha version of the Sage for Windows installer
>>>>>> that I have for you today does just that:
>>>>>>
>>>>>>
>>>>>> https://github.com/embray/sage-windows/releases/download/v1a1/SageMath-7.0-1a1-fat.exe
>>>>>>
>>>>>> My hope is for this to eventually be adopted into the SageMath project
>>>>>> as the "official" distribution for Windows, replacing the existing
>>>>>> VM-based solution as I believe that this gives an overall
>>>>>> lighter-weight and more transparently "native" user experience.  In
>>>>>> the future the same approach could also be adopted--I think--to
>>>>>> provide a "local" installation of SMC.
>>>>>>
>>>>>> Now, if anyone with access to a Windows machine (Windows 7 or newer),
>>>>>> it would be a big favor if I could get a few testers to bang this
>>>>>> around a bit and see what breaks and what works and what could be
>>>>>> improved.
>>>>>>
>>>>>> To be clear, right now it only supports running the notebook, though
>>>>>> I'm also working on making it possible to run `sage` at a Windows
>>>>>> command prompt (almost working).  Also be aware if you try to test
>>>>>> this: The biggest limitation for now (as described also in [1]) is
>>>>>> that for Docker on Windows hardware virtualization support is required
>>>>>> to be enabled.  If this is not enabled the most likely outcome is that
>>>>>> the installer will fail with an error message like "Could not start
>>>>>> Docker VM". In this case you will have to grub around in your BIOS
>>>>>

Re: [sage-devel] Re: SageMath for Windows installer

[David Joyner]

On Fri, Mar 25, 2016 at 8:41 AM, Dima Pasechnik  wrote:
>
>
> On Friday, March 25, 2016 at 11:53:51 AM UTC, aishen wrote:
>>
>> Unfortunatly it doesn't work on an intel core II pentium I have, it says
>> it can't do virtualization...
>
>
> you might need to change BIOS settings to allow virtialization.
>

The sysadmin at work tried this on a intel windows 7 machine, with the
BIOS setting for hardware virtualization checked, and it gave the
error "Could not start Docker VM".

Further, no VM was installed on this machine.

Any idea what the error was caused by?

>>
>> Le mercredi 23 mars 2016 12:15:58 UTC+1, Erik Bray a écrit :
>>>
>>> Hi all,
>>>
>>> I've been working for a few weeks on an installer for Sage on Windows,
>>> which takes advantage of Docker to accomplish this.*  The goal of this
>>> project is to make it possible to run Sage on Windows with as much
>>> transparency as possible, such that the user isn't really aware that
>>> there is any virtualization involved.  As you can read in my report
>>> for the OpenDreamKit project on Docker containers [1] there are limits
>>> to this.
>>>
>>> However, in the ideal case a user simply downloads and runs an
>>> executable--clicks through a graphical install wizard, and then gets a
>>> desktop icon which launches a Jupyter notebook (with sage and terminal
>>> support) in their default web browser.  Although there are still a few
>>> rough edges [2] the alpha version of the Sage for Windows installer
>>> that I have for you today does just that:
>>>
>>>
>>> https://github.com/embray/sage-windows/releases/download/v1a1/SageMath-7.0-1a1-fat.exe
>>>
>>> My hope is for this to eventually be adopted into the SageMath project
>>> as the "official" distribution for Windows, replacing the existing
>>> VM-based solution as I believe that this gives an overall
>>> lighter-weight and more transparently "native" user experience.  In
>>> the future the same approach could also be adopted--I think--to
>>> provide a "local" installation of SMC.
>>>
>>> Now, if anyone with access to a Windows machine (Windows 7 or newer),
>>> it would be a big favor if I could get a few testers to bang this
>>> around a bit and see what breaks and what works and what could be
>>> improved.
>>>
>>> To be clear, right now it only supports running the notebook, though
>>> I'm also working on making it possible to run `sage` at a Windows
>>> command prompt (almost working).  Also be aware if you try to test
>>> this: The biggest limitation for now (as described also in [1]) is
>>> that for Docker on Windows hardware virtualization support is required
>>> to be enabled.  If this is not enabled the most likely outcome is that
>>> the installer will fail with an error message like "Could not start
>>> Docker VM". In this case you will have to grub around in your BIOS
>>> settings to find hardware assisted virtualization support--this of
>>> course is going to be the most difficult aspect of making this
>>> available to "average" users.  A workaround may be possible but I'm
>>> not sure yet.
>>>
>>> Be aware also that the installer can take a few minutes to run (as
>>> much as 5 minutes even on a reasonably fast machine) mostly due to it
>>> being highly compressed.
>>>
>>> Anyways, I look forward to your questions and feedback!
>>>
>>> Thanks,
>>> Erik
>>>
>>>

-- 
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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Re: please vote for making nauty a standard package

[David Joyner]

On Sat, Feb 27, 2016 at 9:35 AM, Dima Pasechnik  wrote:
> version 2.6 has just been released, with updated (to GPL-compatible)
> http://users.cecs.anu.edu.au/~bdm/nauty/COPYRIGHT.txt
>

+1


>
> http://users.cecs.anu.edu.au/~bdm/nauty/
>
> thus, once again, please vote on making nauty a standard package.
>
>
>
> On Wednesday, January 20, 2016 at 9:29:43 PM UTC, Dima Pasechnik wrote:
>>
>> please see
>>
>> https://groups.google.com/d/msg/sage-devel/VuNMvS9jyH8/zhqGVGisAwAJ
>> which shows up in not so clearly named thread.
>>


Looks like Magma has agreed to license it's nauty files under the same
copyright.

>> Dima
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Re: [sage-devel] Re: Bye

[David Joyner]

On Thu, Feb 25, 2016 at 2:00 AM, Nathann Cohen  wrote:
> Hello Karl-Dieter,
>
>> As to the substance of Nathann's comments, most of this is really an
>> argument
>> about the GPL, or rather about how many of the potentialities in the GPL
>> are
>> acceptable to a given community around a GPL product
>
> This interpretation of my comments, if this is what you proposed, could not
> be
> further from the truth. My problem is not legal.
>
> After exchanging several emails with Bill Hart about all this, I was
> laughing in
> my bed yesterday at 2am. You will see, it's hilarious:
>
> 1) Bill gave me his picture of Sage's life. He knows William, and told me
> what
>he knows of how Sage was started. He told me of the people who were
> around at
>that time, their life and how hard they found it to get funding to work
> on
>open-source software. Basically, he gave me a picture of William's
> attempts
>since then to make Sage known, through getting funding there and there,
>through academia through rich guys, through other grants, through SMC.
>
> 2) I told him what I knew of William: I never met the guy, and though I
> started
>working on Sage ~6 years ago my picture of sage is pretty much
> William-free,
>short of knowing that he started it. I don't remember [1] him entering
> the
>technical discussions of Sage or taking side for this or that design
>choice. I don't remember working with him on any code, I don't remember
> him
>saying "I'll fix this" and "fixing this" later. Hear me well: since I
> worked
>in Sage, I always considered William as a historial figure [2]. There is
>nothing wrong with him starting the project and moving to other things
> later
>of course, he just wasn't in Sage's landscape anymore.
>
> And that's where the two visions clash. For Bill Hart, Sage's story is the
> story
> of what William Stein does to make Sage successful. For me, Sage is an
> open-source software managed collaboralively by a community of volunteers.
>
> In Bill's story, however, William's work on Sage never ended. It's like he
> has
> been trying all he could from the start, and still does. And on the way,
> made
> 'choices he had to make' like trademarking Sage's name, becoming the CEO of
> SageMath Inc., like creating SMC, like trying the two together in name and
> purposes and even in the ads because to him [3] that's one and the same
> attempt
> to make Sage successful. All choices that you saw me complain about on this
> forum.
>
> That's where it becomes hilarious: I would never dream of doing anything
> like
> that without consulting everybody on sage-devel at every step. To me,
> sage-devel
> is how and where Sage is being 'managed', and led, and headed. On the other
> hand, I never thought that William could have any specific claim on the
> topic,
> since to me he had simply never existed on the radars since as long as I
> have
> been here. At most, given what he did, he would have been listened twice as
> much
> as anybody else, but that's it.
>

My (admittedly vague) memory is different.

IIRC, the idea of a Sage company, with profits going back into Sage,
goes back farther than 6 years. (That would make it 2010 but Sage was
started in 2004-2005.) The question was not if but what it would sell.
I think it was always thought it would sell a service (e.g., expertise
at modeling a problem using Sage). I also think that this was
discussed with the community and basically everyone was supportive. I
don't remember a specific email to sage-devel about it but I think
these conversations occurred in the early Sage Days. I for one lack
both expertise and interest in dealing with a Sage company, as I
suspect most other developers do as well. So why ask for business
advice from people who have no expertise?

Until SMC came around there really wasn't a service to sell. If the
world ran on linux boxes, or if Sage ran on windows, the Sage company
probably would not exist. However, as it is, it sells reliable
web-server access to teachers and researchers (I'm guessing mostly
teachers, but that's only because I think most researchers can
configure  linux box for what they need).

An affordable service provided to teachers is a good thing, IMHO. In
fact, I think the Sage company should partner with these companies
that sell math Common Core lesson plans for a few bucks each and sell
Sage worksheets for these Common Core lesson plans.

So, Nathann, my guess is that your anger is a misunderstanding of
history. However, It's also possible that there isn't a logical
explanation. It's also possible that I am mis-remembering things.

> In the picture I understood from Bill, however, it's as if William never
> thought
> that the people on sage-devel who maintain and develop this software could
> have
> any specific claim on the topic, since Sage is a software he created and has
> been trying to push ever since. Thus, no need to ask for their opinion and
> 

Re: [sage-devel] Re: For whoever cares about undergrads (or wants to help William earn more money)

[David Joyner]

On Mon, Feb 15, 2016 at 7:35 AM, Nathann Cohen  wrote:
>> \begin{flame}
>> I cannot help noticing that any Sage improvement potentially makes William
>> make more $$$
>> (in the long run improvements to Sage make everyone involved in the project
>> more secure financially, yourself including, no?)
>
> How so ? Do I get a share of William's profits when he sells SMC ?
>

Perhaps this is intended as merely flamebait, but I'll bite. Knowing
William, I doubt that selling the SMC is likely.

So, I question whether you really mean that you think William will
sell SMC, and now I'm not sure what your intended meaning is. It's
already been said that William's "profits" will be put back into Sage.
Or is it you don't believe him? Or, are you simply asking for more
clarity? In either case, that discussion would be better carried out
off-list, IMHO.

> Because it seems that he earns money with our free work here.
>
> Nathann
>
> --
> 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 https://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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.