Show More
@@ -1,92 +1,92 b'' | |||
|
1 | 1 | # coding: utf-8 |
|
2 | 2 | |
|
3 | 3 | # This script autogenerates `IPython.core.latex_symbols.py`, which contains a |
|
4 | 4 | # single dict , named `latex_symbols`. The keys in this dict are latex symbols, |
|
5 | 5 | # such as `\\alpha` and the values in the dict are the unicode equivalents for |
|
6 | 6 | # those. Most importantly, only unicode symbols that are valid identifiers in |
|
7 | 7 | # Python 3 are included. |
|
8 | 8 | |
|
9 | 9 | # |
|
10 | 10 | # The original mapping of latex symbols to unicode comes from the `latex_symbols.jl` files from Julia. |
|
11 | 11 | |
|
12 | 12 | import os, sys |
|
13 | 13 | |
|
14 |
if |
|
|
14 | if sys.version_info[0] < 3: | |
|
15 | 15 | print("This script must be run with Python 3, exiting...") |
|
16 | 16 | sys.exit(1) |
|
17 | 17 | |
|
18 | 18 | # Import the Julia LaTeX symbols |
|
19 | 19 | print('Importing latex_symbols.js from Julia...') |
|
20 | 20 | import requests |
|
21 | 21 | url = 'https://raw.githubusercontent.com/JuliaLang/julia/master/stdlib/REPL/src/latex_symbols.jl' |
|
22 | 22 | r = requests.get(url) |
|
23 | 23 | |
|
24 | 24 | |
|
25 | 25 | # Build a list of key, value pairs |
|
26 | 26 | print('Building a list of (latex, unicode) key-value pairs...') |
|
27 | 27 | lines = r.text.splitlines() |
|
28 | 28 | |
|
29 | 29 | prefixes_line = lines.index('# "font" prefixes') |
|
30 | 30 | symbols_line = lines.index('# manual additions:') |
|
31 | 31 | |
|
32 | 32 | prefix_dict = {} |
|
33 | 33 | for l in lines[prefixes_line + 1: symbols_line]: |
|
34 | 34 | p = l.split() |
|
35 | 35 | if not p or p[1] == 'latex_symbols': continue |
|
36 | 36 | prefix_dict[p[1]] = p[3] |
|
37 | 37 | |
|
38 | 38 | idents = [] |
|
39 | 39 | for l in lines[symbols_line:]: |
|
40 | 40 | if not '=>' in l: continue # if it's not a def, skip |
|
41 | 41 | if '#' in l: l = l[:l.index('#')] # get rid of eol comments |
|
42 | 42 | x, y = l.strip().split('=>') |
|
43 | 43 | if '*' in x: # if a prefix is present substitute it with its value |
|
44 | 44 | p, x = x.split('*') |
|
45 | 45 | x = prefix_dict[p][:-1] + x[1:] |
|
46 | 46 | x, y = x.split('"')[1], y.split('"')[1] # get the values in quotes |
|
47 | 47 | idents.append((x, y)) |
|
48 | 48 | |
|
49 | 49 | # Filter out non-valid identifiers |
|
50 | 50 | print('Filtering out characters that are not valid Python 3 identifiers') |
|
51 | 51 | |
|
52 | 52 | def test_ident(i): |
|
53 | 53 | """Is the unicode string valid in a Python 3 identifier.""" |
|
54 | 54 | # Some characters are not valid at the start of a name, but we still want to |
|
55 | 55 | # include them. So prefix with 'a', which is valid at the start. |
|
56 | 56 | return ('a' + i).isidentifier() |
|
57 | 57 | |
|
58 | 58 | assert test_ident("α") |
|
59 | 59 | assert not test_ident('‴') |
|
60 | 60 | |
|
61 | 61 | valid_idents = [line for line in idents if test_ident(line[1])] |
|
62 | 62 | |
|
63 | 63 | # Write the `latex_symbols.py` module in the cwd |
|
64 | 64 | |
|
65 | 65 | s = """# encoding: utf-8 |
|
66 | 66 | |
|
67 | 67 | # DO NOT EDIT THIS FILE BY HAND. |
|
68 | 68 | |
|
69 | 69 | # To update this file, run the script /tools/gen_latex_symbols.py using Python 3 |
|
70 | 70 | |
|
71 | 71 | # This file is autogenerated from the file: |
|
72 | 72 | # https://raw.githubusercontent.com/JuliaLang/julia/master/base/latex_symbols.jl |
|
73 | 73 | # This original list is filtered to remove any unicode characters that are not valid |
|
74 | 74 | # Python identifiers. |
|
75 | 75 | |
|
76 | 76 | latex_symbols = {\n |
|
77 | 77 | """ |
|
78 | 78 | for line in valid_idents: |
|
79 | 79 | s += ' "%s" : "%s",\n' % (line[0], line[1]) |
|
80 | 80 | s += "}\n" |
|
81 | 81 | |
|
82 | 82 | s += """ |
|
83 | 83 | |
|
84 | 84 | reverse_latex_symbol = { v:k for k,v in latex_symbols.items()} |
|
85 | 85 | """ |
|
86 | 86 | |
|
87 | 87 | fn = os.path.join('..','IPython','core','latex_symbols.py') |
|
88 | 88 | print("Writing the file: %s" % fn) |
|
89 | 89 | with open(fn, 'w', encoding='utf-8') as f: |
|
90 | 90 | f.write(s) |
|
91 | 91 | |
|
92 | 92 |
General Comments 0
You need to be logged in to leave comments.
Login now