@@ -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 ;
163164end  intrinsic ;
164165
165166intrinsic  Sage(X : :RngUPol ) -> MonStgElt , BoolElt 
@@ -191,9 +192,16 @@ intrinsic Sage(X::RngMPolElt) -> MonStgElt, BoolElt
191192
192193intrinsic  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 ;
197205end  intrinsic ;
198206
199207intrinsic  Sage(A : :FldNumElt ) -> MonStgElt , BoolElt 
0 commit comments