Opened 2 years ago
Closed 2 years ago
#24072 closed defect (fixed)
Disallow positive characteristic in the symbolic ring
Reported by:  bruno  Owned by:  

Priority:  critical  Milestone:  sage8.1 
Component:  commutative algebra  Keywords:  polynomial, symbolics 
Cc:  Merged in:  
Authors:  Vincent Delecroix  Reviewers:  Ralf Stephan, Travis Scrimshaw 
Report Upstream:  N/A  Work issues:  
Branch:  da8b056 (Commits)  Commit:  da8b056e2d506516c80c19e2ffd002807310b533 
Dependencies:  Stopgaps: 
Description (last modified by )
Elements of positive characteristic in the symbolic ring are complete nonsense
sage: x = SR.var('x') sage: f(x) = exp(GF(3).one() * x) sage: f x > e^x sage: bool(f(x) == exp(x)) True sage: f(3*x) 1
or
sage: solve(x^2 == 2, [x]) [x == sqrt(2), x == sqrt(2)] sage: solve(x^2 == GF(3)(2), [x]) [x == sqrt(2), x == sqrt(2)]
More dramatically, it leads to segmentation faults
sage: x = polygen(GF(3)) sage: a = SR.var('a') sage: (2*x + 1) * a segmentation fault
Even going through conversion
sage: p = SR(2*x + 1) sage: p * a segmentation fault
We simply disallow wrapping of element of positive characteristic in SR
.
Original reports for the segfault:
Change History (23)
comment:1 Changed 2 years ago by
comment:2 Changed 2 years ago by
 Description modified (diff)
 Summary changed from Segfault when multiplication between symbolic expr. and nonmonic poly over finite field to Segfault when multiplying symbolic expression and poly over finite field
comment:3 Changed 2 years ago by
 Description modified (diff)
 Keywords symbolics added
comment:4 Changed 2 years ago by
 Branch set to u/vdelecroix/24072
 Commit set to 148340c832900e841fea1ee25527383b26f607ad
 Status changed from new to needs_review
A branch where SR does not accept anymore positive characteristic... let see what the patchbot has to say.
New commits:
148340c  24072: disallow positive characteristic in SR

comment:5 Changed 2 years ago by
 Commit changed from 148340c832900e841fea1ee25527383b26f607ad to 8f956e0ca57c8f15b94410c43e9a17bb534a7ced
comment:6 Changed 2 years ago by
 Description modified (diff)
 Summary changed from Segfault when multiplying symbolic expression and poly over finite field to Disallow positive characteristic in the symbolic ring
comment:7 Changed 2 years ago by
I think I fixed all doctests!
comment:8 Changed 2 years ago by
 Description modified (diff)
comment:9 Changed 2 years ago by
 Description modified (diff)
comment:10 Changed 2 years ago by
 Reviewers set to Ralf Stephan
 Status changed from needs_review to positive_review
What a relief, thanks for your work.
comment:11 Changed 2 years ago by
 Commit changed from 8f956e0ca57c8f15b94410c43e9a17bb534a7ced to de4e7607fe32aa771b2845cebcc784ab65a15236
 Status changed from positive_review to needs_review
Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:
de4e760  24072: py3 syntax

comment:12 Changed 2 years ago by
 Status changed from needs_review to positive_review
A tiny change for py3 syntax (patchbot complaint). Setting back to positive review...
comment:13 Changed 2 years ago by
Does this mean that #21391 can now be closed as duplicate?
comment:15 Changed 2 years ago by
Volker, can you provide more information?
comment:16 Changed 2 years ago by
 Description modified (diff)
comment:17 Changed 2 years ago by
Hmm, I guess, look at https://github.com/vbraun/sage/tree/develop ?
comment:18 Changed 2 years ago by
 Commit changed from de4e7607fe32aa771b2845cebcc784ab65a15236 to 3878ed6dcb385ec71dedb2dae28df53537418bc5
comment:19 Changed 2 years ago by
 Status changed from needs_work to needs_review
rebased on 8.1.beta9
comment:20 Changed 2 years ago by
 Commit changed from 3878ed6dcb385ec71dedb2dae28df53537418bc5 to da8b056e2d506516c80c19e2ffd002807310b533
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
da8b056  24072: fix doctests

comment:21 Changed 2 years ago by
ping?
comment:22 Changed 2 years ago by
 Reviewers changed from Ralf Stephan to Ralf Stephan, Travis Scrimshaw
 Status changed from needs_review to positive_review
comment:23 Changed 2 years ago by
 Branch changed from u/vdelecroix/24072 to da8b056e2d506516c80c19e2ffd002807310b533
 Resolution set to fixed
 Status changed from positive_review to closed
The real bug is that
SR(sigma)
succeeds (and returns something broken). It should just fail, and then*
will fail too, as it should.