Opened 14 years ago

Closed 14 years ago

Last modified 14 years ago

#116 closed bug (fixed)

BUG in SCA: poly * vector

Reported by: Oleksandr Owned by: Oleksandr
Priority: major Milestone: 3-1-1
Component: singular-kernel Version:
Keywords: SCA, poly, *, vector Cc:

Description

There seems to be a BUG (even through it is invisible to plain users) when one multiplies a poly with a vector in SCA.

See tests.

Attachments (3)

sca_p2v_bug.tst​ (600 bytes) - added by Oleksandr 14 years ago.
my tests
sca_p2v_bug.tst.log​ (6.6 KB) - added by Oleksandr 14 years ago.
my results for the test. (assumption violation bug)
sca_p2v_vl.res​ (2.3 KB) - added by Oleksandr 14 years ago.
due to this test - this is a purely SCA bug... (or wrong test)

Download all attachments as: .zip

Change History (7)

Changed 14 years ago by Oleksandr

Attachment: sca_p2v_bug.tst​ added

my tests

Changed 14 years ago by Oleksandr

Attachment: sca_p2v_bug.tst.log​ added

my results for the test. (assumption violation bug)

comment:1 Changed 14 years ago by Oleksandr

assumption violation description says (by me): 

 	// ***dPolyError: mixed poly/vector
 	 occured at
 	 occured for poly: z  addr:0x2abcd07936f8 size:40 allocated at
 	  #0 at p_Copy__T.cc:25      in p_Copy__FieldZp_LengthThree_OrdGeneral

comment:2 Changed 14 years ago by Oleksandr

Luckily i run a debug version of Singular and noticed this bug.

Changed 14 years ago by Oleksandr

Attachment: sca_p2v_vl.res​ added

due to this test - this is a purely SCA bug... (or wrong test)

comment:3 Changed 14 years ago by Oleksandr

Resolution: → fixed
Status: new → closed

wrong tests on lowest SCA level (monom*monom): tried to test more than only leading monomial :(

comment:4 Changed 14 years ago by seelisch

Milestone: → Releases 3-1-1 and higher
Note: See TracTickets for help on using tickets.