Latex pictures for Dynkin diagram and misc improvements to Cartan types

[wdjoyner]

Displaying nice latex pictures for all Dynkin diagrams of affine and classical types.

Also:

• Improves the description of which conventions are used for Dynkin
  diagrams and Cartan matrices (Bourbaki/Kac).

• Misc improvements to Cartan types, including a global option
  for displaying Cartan types using Kac's conventions and much
  documentation cleanup.

Depends on #13605
Depends on #14085
Depends on #14248

CC: @sagetrac-sage-combinat

Component: combinatorics

Author: Travis Scrimshaw

Reviewer: Nicolas M. Thiéry

Merged: sage-5.10.beta3

Issue created by migration from https://trac.sagemath.org/ticket/2023

[sagetrac-mabshoff]

comment:2

Mike,

this has been sitting around for a while. What is the status here?

Cheers,

Michael

[nthiery]

comment:4

It's indeed a bit of an abuse to have Dynkin diagram derive from Digraphs (some edges are not oriented). But they are not Graphs either (some edges are). They don't really deserve a special class graph just for themselves, do they? So, I guess we can live with this abuse.

That being said, plot should definitely be overriden to get appropriate pictures. Volunteers?

See also #5502 for ascii art drawing.

[tscrim]

comment:5

I've uploaded a patch that gives custom latex printing for Dynkin diagrams for crystallographic types.

[tscrim]

Author: Travis Scrimshaw

[tscrim]

Dependencies: #14085

[tscrim]

Changed dependencies from #14085 to #13605 #14085 #14248

[tscrim]

comment:6

New version which uses the global options framework for notation choices.