#6160: Segmentation Fault with Multivariate Polynomial Ring
------------------------+---------------------------------------------------
Reporter: stankewicz | Owner: somebody
Type: defect | Status: new
Priority: major | Milestone:
Component: algebra | Keywords:
Reviewer: | Author:
Merged: |
------------------------+---------------------------------------------------
Description changed by AlexGhitza:
Old description:
> This is an example over a 2- variable polynomial ring over QQ (although
> sage does not see K as isomorphic to QQ
>
> lo...@sage:~$ sage
> ----------------------------------------------------------------------
> | Sage Version 3.4.1, Release Date: 2009-04-21 |
> | Type notebook() for the GUI, and license() for information. |
> ----------------------------------------------------------------------
> sage: K.<j> = NumberField(x-1728)
> sage: R.<b,c> = K[]
> sage: f = b-j*c
>
> ------------------------------------------------------------
> Unhandled SIGSEGV: A segmentation fault occured in SAGE.
> This probably occured because a *compiled* component
> of SAGE has a bug in it (typically accessing invalid memory)
> or is not properly wrapped with _sig_on, _sig_off.
> You might want to run SAGE under gdb with 'sage -gdb' to debug this.
> SAGE will now terminate (sorry).
> ------------------------------------------------------------
>
> lo...@sage:~$
>
> Note that this does not pose a problem if the number field is not QQ
>
> sage: K.<j> = NumberField(x^2 - 2)
> sage: R.<b,c> = K[]
> sage: f = b-j*c
> sage: f
> b + (-j)*c
>
> Nor if the Polynomial Ring is Univariate
>
> sage: F.<i> = NumberField(x-1728)
> sage: S.<y> = F[]
> sage: y - i
> y - 1728
> sage: g = y - i
> sage: g = i*y^2 + 1
> sage: g
> 1728*y^2 + 1
>
> Also note that this has nothing to do with Pari's occasional trouble with
> the ordering of variables
>
> sage: K.<j> = NumberField(x-1728)
> sage: R.<k,l> = K[]
> sage: f = k - j*l
>
> ------------------------------------------------------------
> Unhandled SIGSEGV: A segmentation fault occured in SAGE.
> This probably occured because a *compiled* component
> of SAGE has a bug in it (typically accessing invalid memory)
> or is not properly wrapped with _sig_on, _sig_off.
> You might want to run SAGE under gdb with 'sage -gdb' to debug this.
> SAGE will now terminate (sorry).
> ------------------------------------------------------------
>
> lo...@sage:~$
New description:
This is an example over a 2- variable polynomial ring over QQ (although
sage does not see K as isomorphic to QQ)
{{{
----------------------------------------------------------------------
| Sage Version 3.4.1, Release Date: 2009-04-21 |
| Type notebook() for the GUI, and license() for information. |
----------------------------------------------------------------------
sage: K.<j> = NumberField(x-1728)
sage: R.<b,c> = K[]
sage: f = b-j*c
------------------------------------------------------------
Unhandled SIGSEGV: A segmentation fault occured in SAGE.
This probably occured because a *compiled* component
of SAGE has a bug in it (typically accessing invalid memory)
or is not properly wrapped with _sig_on, _sig_off.
You might want to run SAGE under gdb with 'sage -gdb' to debug this.
SAGE will now terminate (sorry).
------------------------------------------------------------
}}}
Note that this does not pose a problem if the number field is not QQ
{{{
sage: K.<j> = NumberField(x^2 - 2)
sage: R.<b,c> = K[]
sage: f = b-j*c
sage: f
b + (-j)*c
}}}
Nor if the Polynomial Ring is Univariate
{{{
sage: F.<i> = NumberField(x-1728)
sage: S.<y> = F[]
sage: y - i
y - 1728
sage: g = y - i
sage: g = i*y^2 + 1
sage: g
1728*y^2 + 1
}}}
Also note that this has nothing to do with Pari's occasional trouble with
the ordering of variables
{{{
sage: K.<j> = NumberField(x-1728)
sage: R.<k,l> = K[]
sage: f = k - j*l
------------------------------------------------------------
Unhandled SIGSEGV: A segmentation fault occured in SAGE.
This probably occured because a *compiled* component
of SAGE has a bug in it (typically accessing invalid memory)
or is not properly wrapped with _sig_on, _sig_off.
You might want to run SAGE under gdb with 'sage -gdb' to debug this.
SAGE will now terminate (sorry).
------------------------------------------------------------
}}}
--
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6160#comment:1>
Sage <http://sagemath.org/>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
