Opened 9 years ago

Closed 8 years ago

## #633 closed bug (fixed)

# accidental basering change in algebra::is_injective

Reported by: | Owned by: | somebody | |
---|---|---|---|

Priority: | minor | Milestone: | 4-1-0 and higher |

Component: | singular-libs | Version: | 4-0-0 |

Keywords: | basering change is_injective | Cc: |

### Description

There is an accidental basering change in algebra::is_injective() (verify with code review or run following example)

option(warn); LIB("algebra.lib"); int p = printlevel; ring r = 0,(a,b,c),ds; ring s = 0,(x,y,z,u,v,w),dp; ideal I = x-w,u2w+1,yz-v; map phi = r,I; is_injective(phi,r);

output:

// ** option changed in proc is_injective from algebra.lib -redTail -redThrough

fix proposal: https://github.com/Singular/Sources/pull/628

**Note:**See TracTickets for help on using tickets.

fixed by Jakob Kröker with d6d9368ea0fd06d0387039f01a3bafa5e047063f