Handling with try and check would be bad, but even in general this is an
idea that may not be what we want. For instance there are cases where the
product is interesting even if it "is zero".
sage: x = Qp(5,10)(0)
sage: y = x.add_bigoh(5)
sage: not x, not y
(True, True)
sage: x * 5, y * 5
0(No real preference and too little understanding of the matter, but
very happy that we have a meaningful vote on things like this.)
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails
+1 for changing printing of RR to something like John Cremona or others
have suggested
-1 for changing RR or RealField at this stage. (It is not "progress" to
change a name, so does not vouch for breaking backwards compatibility; I
may change when and if another serious candidate for RR it is
change_ring(Integers(4)); E4
>
> Elliptic Curve defined by y^2 + y = x^3 + 3*x over Ring of integers modulo 4
>
> E4(P)
> ValueError: element must have non-negative valuation in order to compute
> residue.
>
>
> Dan
>
> On Friday, 15 May 2020 09:44:43 UTC+1, chris w
Dear Daniel
indeed elliptic curves over rings (what should be called technically
Weierstrass equations with non-zero discriminant, instead of unit
discriminant) are rather useless in Sage.
I would recommend to work with 2-adics in your case and to reduce modulo 4
in the end. You could work
I have a question about the future of srange under python 3, which changes
the behaviour of range. Probably this has been discussed before but I could
not find it.
In 9.0.beta10 we have
sage: range(1,3)
range(1, 3)
sage: srange(1,3)
[1, 2]
sage: sxrange(1,3)
sage: [1..2]
[1, 2]
sage:
Hello
compiling from source for SageMath version 8.7.beta1 on my opensuse leap
15.0 caused an error after compiling libffi.
It looks like the problem mentioned at the bottom of #25900.
It started as
[libffi-3.2.1]
[libffi-3.2.1] No record
My CentOS problems were all solved after I installed and used devtoolset as
suggested in Isuru's reply.
Chris
--
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
> Well, that's not a matrix group in a canonical way, so there's a good
reason for that (and, if you're interested in the abstract group it may
well be that the permutation representation is the fastest to work with).
Agree, but it would be nice to say G = PGL(2,13) and then G(some matrix) to
> I think it is a bad thing in this case for == to be equality as sets.
> Imagine if these are two really big, equal, but differently constructed
> subgroups. This would be a really long and expensive check, whereas in most
> cases, checking the defining objects are sufficient. I believe we
As a simple-minded user I stumbled over exactly this last week. I don't
understand much of what this thread is discussing, but I know what a
simple-minded user wants.
sage: G = GL(2,13)
sage: G = G.as_matrix_group()
sage: H = G.subgroup([ matrix(GF(13),[[1,0],[1,1]]) ])
sage: H2 = G.subgroup([
-1
I am with Jeroen on this one.
On Thursday, 18 May 2017 23:25:41 UTC+1, Kwankyu Lee wrote:
>
> Hi,
>
> I prepared H5 revised from G5 based on your ideas and wishes. It was hard
> to make a compromise from your differing opinions and reach a proposal for
> the better. So this time* if I
The original problem in this thread was resolved, but then there were other
problems with compiling sage 7.3 on CentOS6.8. I decided to install the
devtools and it worked fine.
Maybe somewhere in the installation guidelines, one could add that for
CentOS it is recommended to install
Thanks a lot, leif, for the help.
I will ask the sysadmin to update binutils.
Your idea with SAGE_FAT_BINARY seems to get around the problem, by now.
If it still helps for #20779:
sageadm@pmlapsag01:~/sage$ as --version
GNU assembler version 2.20.51.0.2-5.44.el6 20100205
Copyright 2009 Free
Trying to compile sage 7.3.beta8 on CentOS6.8, I ran into a problem
compiling ntl 9.8.1.
Not sure what to include. Just ask.
Chris
Host system:
Linux pmlapsag01 2.6.32-642.1.1.el6.x86_64 #1 SMP Tue May 31 21:57:07 UTC
2016 x86_64 x86_64 x86_64 GNU/Linux
I added that in #20712
>
Thanks, now I know where to disable it.
I am fine just doing it just for me. I am sure you had good reasons to
introduce it. I will leave it to others annoyed by it (if any) to revert it
or to redirect it to a file rather than the screen.
Chris
--
You received this
Hi all.
When I do make or sage -b each time there is now a huge print
python_packages = ['sage', 'sage.lfunctions',
'sage_setup.autogen.pari.doc']
python_data_files = [('solverconf_helper.h'])]
to the screen. Is there a way to hide this? It annoys me that I have to
scroll up to find
Sorry for reviving an old and probably recurring discussion.
len returns an int. So a naive user wanting to find what proportion of
elements in a list have a certain property will fall into this trap:
sage: li = [2,3,4,5,6,7,8,9]
sage: pa = [k for k in li if k>6]
sage: len(pa)/len(li)
0
The
>From the point of view of teaching maths with sage, I would prefer I not to
be comparable with 0.
IMHO, these discussions of what is nicer for those programming should be
set behind what the average mathematician expects sage to do.
By the way, I still object to the idea that I is by default
[X ] Yes -- adopt the code of conduct stated below
--
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,
I am not against the exception.
The question is what quantifiers we use for variables, isn't it? Antoher
approach would be to implement it such that the quatifier is always
forall for all variables in the expression, i.e. it only returns True if
for all possible values of x, y, .. it is
I would add
12080 Manin constant
10698 error in padic power series construction
8198 p-adic precision in vector multiplication
Chris
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
I opened a separate ticket #10946 for this issue.
Hopefully someone with better knowledge of keywords, evaluations,
polynomials, singulars and such will find a way to solve it.
Thanks for the comments.
Chris.
--
To post to this group, send an email to sage-devel@googlegroups.com
To
No I am against changing this. For two reasons, when working with
polynomials in variable names liks k, p. It is not always easy to
remember which was the first and which was the second variable. Then
it is very handy to pass keywords for evaluation - but still to expect
a base_ring
I hope we agree that evaluation (meaning evaluation of all variables
by some elements in a ring) should yield an element of the ring. I
don't mind if subs should give back a polynomial in all cases.
[Aside: Strangely this is not the case for symbolic expressions. I am
sure there must have been a
I hope we agree that evaluation (meaning evaluation of all variables
by some elements in a ring) should yield an element of the ring. I
don't mind if subs should give back a polynomial in all cases.
[Aside: Strangely this is not the case for symbolic expressions. I am
sure there must have been a
I hope we agree that evaluation (meaning evaluation of all variables
by some elements in a ring) should yield an element of the ring. I
don't mind if subs should give back a polynomial in all cases.
[Aside: Strangely this is not the case for symbolic expressions. I am
sure there must have been a
Let f be a polynomial in two variables x and y over a ring R.
Consider the following three commands
i) f(2,3)
ii) f(x=2,y=3)
iii) f.subs(x=2,y=3)
They give the same results but not the same type. i) gives an element
in R while ii) and iii) are constant polynomials in two variables.
Did anyone run into a similar problem :
Everytime I would like to do something (like adding a patch,
reviewing one...) on http://trac.sagemath.org/sage_trac/ it logs me
out. And then I am not allowed to do it anymore. I can log in, though.
Any idea ?
Chris.
--
To post to this group,
Ok, it only happens in my office. Probably some add-on in firefox or
some problem with the cookies...
Anyway, it doesn't matter anymore.
Chris.
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
This is now ticket 8349.
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
Yop, I will look into that tomorrow. Looks like a bug in the
post_isomorphism, since
E.isogeny(Pts[23])
gives the right map but to an isomorphic curve. I will open a ticket
tomorrow.
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send
Did you install the optional database before running the test? That
changes which generators are returned for database curves.
Yes, the optional database was installed before.
Does that that mean that the lines should have a #something, because
they are #random depending on #optional ?
Everything passes, except that
I get the following errors in heegner.py on my openSuSE 11.1.
They are harmless, as I get the -P as the generator. I don't know why.
Chris.
sage -t devel/sage/sage/schemes/elliptic_curves/heegner.py
Sorry for the spam; but I thought I'd share it with you.
We had a big problem with our heating in our house a few weeks ago,
exactly when it is was so freezing cold in Nottingham that they were
talking about the coldest winter. I imagined it is going to be a bit
difficult to sleep when I could
Thanks a lot for this tutorial. I think it would be great to have it
included in the documentation.
I did not know anything about functional programming before using
sage. To a new mathematical user without python knowledge things like
lambda = 4
SyntaxError: invalid syntax
lambda?
No object
I noticed two problems in my notebooks in 4.1.2. Before I open new
tickets I wanted to know if others have the same problem or if they
have been reported already.
* Typing in html
$D1$ is good.
renders without leaving the $-environment, i.e. as
$D1 is good.$
The same does not happen with
i have some questions and suggestion on the RestructuredText. I am a
ReST-newbie and so maybe these things have been discussed before.
* In one of my files i have a line power_series = series. This
produces the full docstring of series to appear twice in the
documentation, once under series
sage: K.u = LaurentSeriesRing(QQ)
sage: R.t = PowerSeriesRing(QQ)
3. coercion to R does not work (R(u) fails trying to coerce to QQ).
I guess this is the same sort of problem as what I reported in trac
#5468.
chris.
--~--~-~--~~~---~--~~
To post to this
I wonder if a user can change the colours on the trac pages for
patches. Being green-red colour-blind, I would prefer to swap, say,
green for blue.
Sorry if this question is not really a sage-devel question...
Chris.
--~--~-~--~~~---~--~~
To post to this group,
40 matches
Mail list logo
