Opened 15 years ago

Closed 15 years ago

Last modified 14 years ago

#13 closed bug (fixed)

sca_mm_Mult_p: exponent mismatch 1 and 1

Reported by: Oleksandr Owned by: Oleksandr
Priority: major Milestone: Releases 3-0-x and lower
Component: singular-kernel Version:
Keywords: sca, quotient Cc:

Description

Simon wrote:

Im Anhang definiere ich zunächst wieder einen superkommutativen Ring R mit einer Matrix-Ordnung und einem Ideal I. Da twostd(I) leider nicht funktioniert, ich aber weiß, dass groebner(I) hier ein zweiseitiges Ideal liefert, definiere ich

qring Q = groebner(I);

und ignoriere die Warnung.

Dann habe ich ein Ideal FRS, welches eine filter-reguläre Folge definiert. Um nachzuweisen, dass die Folge filter-regulär ist, muss ich Quotienten berechnen. quotient(ideal(0),ideal(FRS[1])) klappt, aber quotient(ideal(FRS[1]),ideal(FRS[2])) verabschiedet sich mit der Meldung

? sca_mm_Mult_p: exponent mismatch 1 and 1

? sca_mm_Mult_p: exponent mismatch 1 and 1

? sca_mm_Mult_pp: exponent mismatch 1 and 1

? sca_mm_Mult_pp: exponent mismatch 1 and 1

? error occurred in Bsp125gp3.txt line 71: `def q2 = quotient(ideal(FRS[1]),ideal(FRS[2]));

Was ist da passiert? Habe ich quotient falsch verwendet? Gibt es Beschränkungen, die ich nicht kannte? Ist es ein Bug?

Attachments (3)

sca.quotient.bug.sing (5.3 KB) - added by Oleksandr 15 years ago.
bugtest
sca.quotient.buggy.log (26.4 KB) - added by Oleksandr 15 years ago.
output on test
sca.quotient.buggy.2.log (24.1 KB) - added by Oleksandr 15 years ago.
output of Singularg after fixing twostd

Download all attachments as: .zip

Change History (7)

Changed 15 years ago by Oleksandr

Attachment: sca.quotient.bug.sing added

bugtest

comment:1 Changed 15 years ago by Oleksandr

Status: newassigned

Changed 15 years ago by Oleksandr

Attachment: sca.quotient.buggy.log added

output on test

Changed 15 years ago by Oleksandr

Attachment: sca.quotient.buggy.2.log added

output of Singularg after fixing twostd

comment:2 Changed 15 years ago by Oleksandr

Messages like "? sca_mm_Mult_p: exponent mismatch 1 and 1" come from wrong twostd computation... (they mean that we try to multiply two vectors as polynomials!)

this was fixed... but there is still something wrong in sca_bba... gonna investigate it now...

comment:3 Changed 15 years ago by Oleksandr

Resolution: fixed
Status: assignedclosed

there were some bugs (missunderstanding of the the set T, wrong quotient hadling) in sca_bba.

fixed

comment:4 Changed 14 years ago by seelisch

Milestone: Releases 3-0-x and lower
Note: See TracTickets for help on using tickets.