#317 closed bug (fixed)
Singular maps between rings with parameters
| Reported by: | Oleksandr | Owned by: | somebody |
|---|---|---|---|
| Priority: | major | Milestone: | 3-1-3 and higher |
| Component: | singular-kernel | Version: | 3-1-2 |
| Keywords: | map | Cc: | daniel.andres@… |
Description (last modified by )
one can get non-NULL zero elements:
- for coeffs
- while applying a function
1.sing 3. ring r1 = (0,a),x,dp;
1.sing 4>
1.sing 5. number c = (a3+2); poly m = c*x; ideal I = m;
1.sing 6>
1.sing 7. ring r2 = (0,a),x,dp; minpoly = a3+2; map f = r1,x;
1.sing 8>
1.sing 9. imap(r1, c); _ == 0; // wrong result (!= 0)!
(a3+2)
0
1.sing 10> fetch(r1, c); _ == 0; // wrong result (!= 0)!
(a3+2)
0
1.sing 11> f(c); _ == 0; // wrong result (!= 0)!
(a3+2)
0
1.sing 12>
1.sing 13. imap(r1, m); _ == 0; // OK
0
1
1.sing 14> fetch(r1, m); _ == 0; // OK
0
1
1.sing 15> f(m); // OK???????????????
// ***dPolyError: NULL coef
occured at
#0 at pDebug.cc:239 in _p_Test
#1 at pInline2.h:630 in p_Mult_q
#2 at maps.cc:105 in maEvalMonom
#3 at maps.cc:148 in maEval
#4 at maps_ip.cc:89 in maApplyFetch
#5 at ipshell.cc:700 in iiMap
#6 at iparith.cc:1483 in jjMAP
occured for poly: 0*x addr:0x7ff3ffdc83f0 size:32 allocated at ../kernel/p_Copy__T.cc:25
// ***dPolyError: NULL coef
occured at
#0 at pDebug.cc:239 in _p_Test
#1 at pInline0.h:59 in p_SetCompP
#2 at maps.cc:116 in maEvalMonom
#3 at maps.cc:148 in maEval
#4 at maps_ip.cc:89 in maApplyFetch
#5 at ipshell.cc:700 in iiMap
#6 at iparith.cc:1483 in jjMAP
#7 at iparith.cc:7242 in iiExprArith2
occured for poly: 0*x addr:0x7ff3ffdc83f0 size:32 allocated at ../kernel/p_Copy__T.cc:25
0
1
1.sing 16>
1.sing 17. imap(r1, I); _[1] == 0; // OK
_[1]=0
1
1.sing 18> fetch(r1, I); _[1] == 0; // OK
_[1]=0
1
1.sing 19> f(I); _[1] == 0; // BUG!!!!!!!!!!!!!!!!!
map[9223372036854775807:1]{1:1}
// ***dPolyError: NULL coef
occured at
#0 at pDebug.cc:239 in _p_Test
#1 at pInline2.h:532 in pp_Mult_nn
#2 at fast_maps.cc:443 in maPoly_Substitute
#3 at fast_maps.cc:547 in maPoly_Eval
#4 at fast_maps.cc:396 in fast_map
#5 at ipshell.cc:696 in iiMap
#6 at iparith.cc:1483 in jjMAP
occured for poly: addr:0x7ff3ffdcbd30 size:24 allocated at ../kernel/pp_Mult_nn__T.cc:34
..
// ***dPolyError: NULL coef
occured at
#0 at pDebug.cc:239 in _p_Test
#1 at prCopyTemplate.cc:32 in pr_Copy_NoREqual_NSimple_Sort
#2 at prCopy.cc:155 in idrCopy
#3 at prCopy.cc:190 in idrShallowCopyR
#4 at fast_maps.cc:409 in fast_map
#5 at ipshell.cc:696 in iiMap
#6 at iparith.cc:1483 in jjMAP
#7 at iparith.cc:7242 in iiExprArith2
occured for poly: 0*x addr:0x7ff3ffdce3f0 size:32 allocated at ../kernel/pInline1.h:100
// ***dPolyError: NULL coef
occured at
#0 at pDebug.cc:239 in _p_Test
#1 at prCopy.cc:152 in idrCopy
#2 at prCopy.cc:190 in idrShallowCopyR
#3 at fast_maps.cc:409 in fast_map
#4 at ipshell.cc:696 in iiMap
#5 at iparith.cc:1483 in jjMAP
#6 at iparith.cc:7242 in iiExprArith2
#7 at iparith.cc:6544 in jjKLAMMER_PL
occured for poly: 0*x addr:0x7ff3ffdce3f0 size:32 allocated at ../kernel/pInline1.h:100
.
// ***dPolyError: NULL coef
occured at
#0 at pDebug.cc:239 in _p_Test
#1 at ideals.cc:393 in idDBTest
#2 at fast_maps.cc:425 in fast_map
#3 at ipshell.cc:696 in iiMap
#4 at iparith.cc:1483 in jjMAP
#5 at iparith.cc:7242 in iiExprArith2
#6 at iparith.cc:6544 in jjKLAMMER_PL
#7 at iparith.cc:7862 in iiExprArithM
occured for poly: 0*x addr:0x7ff3ffdce3f0 size:32 allocated at ../kernel/pInline1.h:100
// ***dPolyError: NULL coef
occured at
#0 at pDebug.cc:239 in _p_Test
#1 at pDebug.cc:324 in _pp_Test
#2 at ideals.cc:711 in idRankFreeModule
#3 at ideals.h:105 in idRankFreeModule
#4 at ideals.cc:395 in idDBTest
#5 at fast_maps.cc:425 in fast_map
#6 at ipshell.cc:696 in iiMap
#7 at iparith.cc:1483 in jjMAP
occured for poly: 0*x addr:0x7ff3ffdce3f0 size:32 allocated at ../kernel/pInline1.h:100
_[1]=0*x <----------------------- BUG!!!!!!!!!!!!!!!!!!!
// ***dPolyError: NULL coef
occured at
#0 at pDebug.cc:239 in _p_Test
#1 at ideals.cc:393 in idDBTest
#2 at ideals.cc:347 in idDBCopy
#3 at subexpr.cc:476 in s_internalCopy
#4 at subexpr.cc:565 in sleftv::Copy
#5 at subexpr.cc:1477 in syMake
#6 at grammar.y:502 in yyparse
#7 at tesths.cc:262 in main
occured for poly: 0*x addr:0x7ff3ffdce3f0 size:32 allocated at ../kernel/pInline1.h:100
// ***dPolyError: NULL coef
occured at
#0 at pDebug.cc:239 in _p_Test
#1 at pDebug.cc:324 in _pp_Test
#2 at ideals.cc:711 in idRankFreeModule
#3 at ideals.h:105 in idRankFreeModule
#4 at ideals.cc:395 in idDBTest
#5 at ideals.cc:347 in idDBCopy
#6 at subexpr.cc:476 in s_internalCopy
#7 at subexpr.cc:565 in sleftv::Copy
occured for poly: 0*x addr:0x7ff3ffdce3f0 size:32 allocated at ../kernel/pInline1.h:100
// ***dPolyError: NULL coef
occured at
#0 at pDebug.cc:239 in _p_Test
#1 at pInline2.h:433 in p_Copy
#2 at ideals.cc:356 in idDBCopy
#3 at subexpr.cc:476 in s_internalCopy
#4 at subexpr.cc:565 in sleftv::Copy
#5 at subexpr.cc:1477 in syMake
#6 at grammar.y:502 in yyparse
#7 at tesths.cc:262 in main
occured for poly: 0*x addr:0x7ff3ffdce540 size:32 allocated at ../kernel/p_Copy__T.cc:25
0 <---------------------- BUG: 0*x != 0 !!!!!!!!!!!!!!!!!
Attachments (1)
Change History (4)
Changed 13 years ago by
comment:1 Changed 13 years ago by
| Cc: | daniel.andres@… added; Daniel Andres <daniel.andres@…> removed |
|---|---|
| Description: | modified (diff) |
Note: See
TracTickets for help on using
tickets.
tests