Skip to content

Commit 6f957f1

Browse files
committed
fixing one issue
1 parent bac8f3c commit 6f957f1

File tree

1 file changed

+13
-5
lines changed
  • src/sage/ext_data/magma/sage

1 file changed

+13
-5
lines changed

src/sage/ext_data/magma/sage/basic.m

Lines changed: 13 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -158,8 +158,9 @@ intrinsic SageNamesHelper(X::.) -> MonStgElt
158158
return "(" * (&* [ Sprintf("'x%o', ", j) : j in [ 1..i ] ]) * ")";
159159
else
160160
/* named variables */
161-
return "(" * (&* [ Sprintf("'%o', ", X.j) : j in [ 1..i ] ]) * ")";
162-
end if;
161+
return "(" * (&* [ Sprintf("'%o'.replace('.', ''), ", X.j) : j in [ 1..i ] ]) * ")";
162+
163+
end if;
163164
end intrinsic;
164165

165166
intrinsic Sage(X::RngUPol) -> MonStgElt, BoolElt
@@ -191,9 +192,16 @@ intrinsic Sage(X::RngMPolElt) -> MonStgElt, BoolElt
191192

192193
intrinsic Sage(K::FldNum) -> MonStgElt, BoolElt
193194
{}
194-
names := [Sprintf("'%o'.replace('$.', 'a').replace('.', '')", a) : a in GeneratorsSequence(K)];
195-
polynomials := DefiningPolynomial(K);
196-
return Sprintf("NumberField(%o, %o)", Sage(polynomials), names), false;
195+
gens := GeneratorsSequence(K);
196+
if "$" in Sprint(gens[1]) then
197+
/* unnamed variables */
198+
names := "(" * (&* [ Sprintf("'a%o', ", j) : j in [ 1..#gens ] ]) * ")";
199+
else
200+
/* named variables */
201+
names := "(" * (&* [ Sprintf("'%o'.replace('.', ''), ", a) : a in gens]) * ")";
202+
end if;
203+
polynomials := DefiningPolynomial(K);
204+
return Sprintf("NumberField(%o, %o)", Sage(polynomials), names), false;
197205
end intrinsic;
198206

199207
intrinsic Sage(A::FldNumElt) -> MonStgElt, BoolElt

0 commit comments

Comments
 (0)