Opened 13 years ago

Closed 13 years ago

#225 closed bug (fixed)

Bug of the function "lift"

Reported by: koszulcomplex Owned by: somebody
Priority: critical Milestone: 3-1-2 and higher
Component: dontKnow Version: 3-1-1
Keywords: lift Cc:

Description

"lift" will give a warning when 2nd module does not lie in the first. However it does not work well when the 1st module is 0. Example:

> ring RING=0,(X,Y),dp;
> //This is normal:
. lift(ideal(X),Y);
   ? 2nd module does not lie in the first
   ? error occurred in or before STDIN line 2: `lift(ideal(X),Y);`
   ? wrong type declaration. type 'help ideal;'
> //The following are ridiculous:
. lift(ideal(0),Y);
_[1,1]=0
> lift(module(gen(10)),gen(11));
_[1,1]=-1
> lift(module(gen(10)),gen(12));
_[1,1]=0

Change History (1)

comment:1 Changed 13 years ago by hannes

Resolution: fixed
Status: newclosed

handling of exceptional cases fixed (module being 0-module, or rk(mod) < rk(submod) etc.)

Note: See TracTickets for help on using tickets.