name of ring variable == name of parameter should be forbidden?!
LIB "freegb.lib";
ring r = (0,a(1),b(1)),(a, b),dp;
def A = freegbRing(1);
setring A; A;
// characteristic : 0
// 2 parameter : a(1) b(1)
// minpoly : 0
// number of vars : 2
// block 1 : ordering dp
// : names a(1) b(1)
// block 2 : ordering C
Change History (3)
Priority: |
trivial →
minor
|
Summary: |
name of ring variable == name of parameter →
name of ring variable == name of parameter should be forbidden?!
|
Type: |
defect →
enhancement
|
Resolution: |
→ fixed
|
Status: |
new →
closed
|
Description: |
modified (diff)
|
Milestone: |
→ Release 3-1-0
|
we have better checks now:
name conflict par(1) and var(1):
a(1)
, rename to@@(1)
name conflict par(2) and var(2):b(1)
, rename to@@(2)
characteristic : 0 2 parameter : @@(1) @@(2) minpoly : 0 number of vars : 4 block 1 : ordering dp : names a(1) b(1) block 2 : ordering dp : names a(2) b(2) block 3 : ordering C