Opened 5 years ago

Last modified 4 years ago

#21391 closed enhancement

Disallow mixing of pos.char.ring elements and symbolic variables — at Version 4

Reported by: rws Owned by:
Priority: critical Milestone: sage-duplicate/invalid/wontfix
Component: symbolics Keywords: segfault
Cc: jdemeyer, vdelecroix, slelievre Merged in:
Authors: Ralf Stephan Reviewers:
Report Upstream: N/A Work issues:
Branch: u/rws/disallow_mixing_of_pos_char_ring_elements_and_symbolic_variables (Commits, GitHub, GitLab) Commit: 7147699e66955b2a130a871b97886ec5af3a665d
Dependencies: Stopgaps:

Status badges

Description (last modified by slelievre)

This is to have a place for code examples and discussion of impact of the proposal in!topic/sage-devel/auLwQWtpnz0

The following produces a segmentation fault (Sage 7.4, Ubuntu 14.04 or OS X 10.10.5), see Ask Sage.

sage: F = GF(3)
sage: num, den = F(2)*x + F(1), x
sage: num/den
 ... segmentation fault ...

Change History (4)

comment:1 Changed 5 years ago by rws

  • Branch set to u/rws/disallow_mixing_of_pos_char_ring_elements_and_symbolic_variables

comment:2 Changed 5 years ago by rws

  • Authors set to Ralf Stephan
  • Cc jdemeyer vdelecroix added
  • Commit set to 7147699e66955b2a130a871b97886ec5af3a665d

In a first scan these doctests would have to be changed:

sage -t src/sage/symbolic/expression.pyx  # 11 doctests failed
sage -t src/sage/symbolic/pynac.pyx  # 2 doctests failed
sage -t src/sage/rings/polynomial/polynomial_element.pyx  # 2 doctests failed
sage -t src/sage/rings/polynomial/laurent_polynomial.pyx  # 2 doctests failed
sage -t src/sage/rings/polynomial/polynomial_zz_pex.pyx  # 1 doctest failed

New commits:

714769921391: Disallow mixing of pos.char.ring elements and symbolic variables

comment:3 Changed 5 years ago by rws

Alternatively this could be made a stopgap. Which is better?

comment:4 Changed 5 years ago by slelievre

  • Cc slelievre added
  • Description modified (diff)
  • Keywords segfault added

Adding an example leading to a segmentation fault to the ticket description.

Note: See TracTickets for help on using tickets.