Context Navigation

← Previous Ticket
Next Ticket →

#19657 closed defect (duplicate)

latex names

Reported by:	fwclarke	Owned by:
Priority:	minor	Milestone:	sage-duplicate/invalid/wontfix
Component:	number fields	Keywords:	latex_name
Cc:	tscrim, gh-kliem	Merged in:
Authors:		Reviewers:	Travis Scrimshaw
Report Upstream:	N/A	Work issues:
Branch:		Commit:
Dependencies:	#30372	Stopgaps:

Status badges

Description (last modified by fwclarke)

As pointed out in http://ask.sagemath.org/question/31223, there are various problems with defining latex_name for the generators of number fields. For example

sage: K.<a> = NumberField(x^3 - 5, latex_name='alpha')
sage: latex(a), K.latex_variable_name()
(alpha, 'alpha')
sage: y = polygen(K, 'y')
sage: L.<b> = K.extension(y^3 + a - 1, latex_name='beta')
sage: latex(b), L.latex_variable_name()
(b, 'beta')
sage: M.<c> = NumberField(y^3 + a - 1, latex_name='gamma')
sage: latex(c), M.latex_variable_name()
(c, 'c')

These, and some other, inconsistencies need ironing out.

Change History (16)

comment:1 Changed 6 years ago by fwclarke

Component changed from PLEASE CHANGE to number fields
Description modified (diff)
Keywords latex_name added
Type changed from PLEASE CHANGE to defect

comment:2 Changed 6 years ago by fwclarke

Branch set to u/fwclarke/latex_names

comment:3 Changed 6 years ago by git

Commit set to 65fb4a27977c6ebb53b34eb5e34a4a79c6383e09

Branch pushed to git repo; I updated commit sha1. New commits:

65fb4a2 fix NumberFieldFactory

comment:4 Changed 6 years ago by fwclarke

First we ensure that NumberFieldFactory passes latex_name on in every case. Now

sage: K.<a> = NumberField(x^3 - 5)
sage: y = polygen(K, 'y')
sage: M.<c> = NumberField(y^3 + a - 1, latex_name='gamma')
sage: latex(c), M.latex_variable_name()
(c, 'gamma')

comment:5 Changed 6 years ago by git

Commit changed from 65fb4a27977c6ebb53b34eb5e34a4a79c6383e09 to 807b378cb5a744195ab8b5099ac0749916524944

Branch pushed to git repo; I updated commit sha1. New commits:

807b378 fix latex_name for variable fields and latex_variable_names

comment:6 Changed 6 years ago by fwclarke

Now require that the extension method passes on latex_name, that the NumberField_generic class defines the _latex_names attribute so that the latex_variable_names method works as it should, and similarly that the NumberField_relative class defines that attribute appropriately. This gives

sage: K.<a> = NumberField(x^3 - 6, latex_name='alpha')
sage: K.latex_variable_names()
['alpha']
sage: L.<b> = K.extension(x^2 - 5, latex_name='beta')
sage: L.latex_variable_names()
['beta', 'alpha']