asciidoctor-latex 1.5.0.dev

data/rspec/data/tex1

@@ -0,0 +1,65 @@
+==== The tautological and Hopf bundles
+
+Projective space may also be viewed as the quotient under
+a group action.  Consider a space $Y$ and a group $G$.  An
+action of $G$ on $Y$ is a map $G\times Y \map Y$,
+written $(g,y) \mapsto g.y$, that satisfies $e.y = y$ for all
+$y$, where $e$ is the neutral element, and $g.(h.y) = (gh).y$
+for all $g,h \in G$, $y \in Y$.  The _orbit_ of point $y \in Y$
+under the action of $G$ is the set $G.y = \sett{g.y}{ g \in G}$.
+The quotient of $Y$ by $G$, written $Y/G$, is the set of orbits.
+Note that $Y/G$ is just the set of equivalence classes of elements
+of $Y$ under the relation $y' \sim y$ if there is an element $g \in G$
+such that $y'  = g.y$.
+
+Returning to the construction of projective space,
+the map
+$(\lambda, Z) \mapsto \lambda Z$
+defines an
+action of the group $\CC^*$ on
+$\CC^{n+1} - \set{0}$, and
+\[
+   \CP^n = (\CC^{n+1} - \set{0})\big/\CC^*
+\]
+is the quotient. If $p: \CC^{n+1} - \set{0} \map \CP^n$
+is the projection map, then the set
+\[
+  p^{-1}([Z]) = \set{ Z \in [Z]} \cong \CC^*,
+\]
+the so-called
+_fiber_ of $p$ at $[Z]$ can be identified with $\CC^*$.
+This leads to the important diagram
+\[
+   \CC^* \map \CC^{n+1} - \set{0} \mapright{p} \CP^n,
+\]
+which defines a $\CC^*$ bundle over $\CP^n$ called the
+_tautological bundle_.
+It plays a key role in the theory of projective varieties.
+
+FIG
+
+Consider now the  unit sphere
+\[
+  S^{2n+1} = \sett{ Z \in \CC^{n+1} } { ||Z|| = 1 }.
+\]
+It is stable under the action of unit circle subgroup
+\[
+  U = \sett{ \lambda \in \CC}{ |\lambda| = 1 }.
+\]
+The natural map
+\[
+  S^{2n+1} \map \CC^{n+1} - \set{0}
+\]
+restricts ot a map of quotient spaces
+\[
+   S^{2n+1}/U \map (\CC^{n+1} - \set{0})/\CC^*,
+\]
+and it is easy to see that this map is an isomorphism.
+This gives a second presentation of projective space
+as the quotient of a sphere, and it leads to the famous
+_Hopf fibration_,
+\[
+    S^1 \map S^{2n+1} \mapright{h} \CP^n.
+\]
+The Hopf map is, by the way, the generator of the homotopy
+group $\pi_3(S^2)$.

data/rspec/data/tex2

@@ -0,0 +1,5 @@
+Returning to the construction of projective space,
+the map
+$(\lambda, Z) \mapsto \lambda Z$
+defines an
+action of the group $\CC^*$ on

data/rspec/data/tex2.expect

@@ -0,0 +1,5 @@
+Returning to the construction of projective space,
+the map
+\(\lambda, Z) \mapsto \lambda Z\)
+defines an
+action of the group \()\CC^*\) on

data/rspec/transform.rb

@@ -0,0 +1,36 @@
+# TEX_DOLLAR_SUB = '\1latexmath:[\2]\3'
+
+module Transform
+
+  # Map $...$ to stem:[...]
+  # Map $...$ to \( ... \)
+
+
+  TEX_DOLLAR_RX = /(^|\s|\()\$(.*?)\$($|\s|\)|,|\.)/
+  TEX_DOLLAR_SUB = '\1\\\(\2\\\)\3'
+  TEX_DOLLAR_SUB2 = '\1latexmath:[\2]\3'
+
+  $fixmath = lambda { |x| x.gsub TEX_DOLLAR_RX, TEX_DOLLAR_SUB }
+  $fixmath2 = lambda { |x| x.gsub TEX_DOLLAR_RX, TEX_DOLLAR_SUB2 }
+
+  $identity = lambda { |x| x }
+
+  def self.read_string in_file
+    return File.open(in_file, 'r') { |f| f.read }
+  end
+
+  def self.map_string str, transformer
+    return transformer.call str
+  end
+
+  def self.map_file in_file, out_file, transform_string
+
+    input = File.open(in_file, 'r') { |f| f.read }
+    output = transform_string.call(input)
+    File.open(out_file, 'w' ) { |f| f.write output }
+
+  end
+
+
+
+end

data/spec/README.adoc

@@ -0,0 +1,45 @@
+== rspec
+
+At the moment there is just one set of tests, in
+`transform_spec.rb`, which test a tiny piece
+of a small part of the code.  This is the
+`gsub` call in the `TeXPreprocessor`.
+
+I had been having  some trouble with
+instances of $ ... $ not being mapped
+properly, and I think I've narrowd it down
+to a few small edge cases -- I am trying
+to collect these in the wild, as welll
+as t imagine them.
+
+I've organized the files as `a.rb`. `b.rb`,
+and `c.rb`.  The first two pass, the third
+deos not.  The strings that I try the
+transformer on in `c.rb` are only a few
+characters long.
+
+=== Help
+
+@mojavelinux, my knowledge of regular expressions is not
+so great -- could you look at this?
+
+Please note that I had changed the output regular expression:
+
+----
+  TEX_DOLLAR_SUB = '\1\\\(\2\\\)\3'
+  TEX_DOLLAR_SUB2 = '\1latexmath:[\2]\3'
+----
+
+using the first, rather than the second, which is your original.  I don't
+think that that is the problem -- it must be in the
+recognizer,
+
+----
+  TEX_DOLLAR_RX = /(^|\s|\()\$(.*?)\$($|\s|\)|,|\.)/
+----
+
+We can change back to (2), though I must say I like
+(1) better since it parallels `\[ ... \]` and is more
+succinct.  Is there any difference in their function or
+behavior _vis a vis_ Asciidoctor, i.e., in being
+protected from substitution?

data/spec/a.rb

@@ -0,0 +1,79 @@
+require 'asciidoctor'
+require 'asciidoctor/latex'
+require 'asciidoctor/latex/core_ext/colored_string'
+require_relative 'transform'
+
+include Transform
+
+VERBOSE = true
+
+def compare_transform input, expected_output, transfomer
+
+  warn ' ' if VERBOSE
+  warn input.blue if VERBOSE
+  warn expected_output.cyan if VERBOSE
+  output = Transform.map_string input, transfomer
+  warn output.blue if VERBOSE
+  warn ' ' if VERBOSE
+  expect(output).to eq expected_output
+
+end
+
+
+describe Transform do
+
+  before :each do
+
+  end
+
+  it 'reads the contents of a file into a string (A1)' do
+
+    contents = Transform.read_string 'data/foo'
+    expect(contents.chomp).to eq 'foo.bar'
+
+  end
+
+  it 'implements the identity transform on strings (A2)' do
+
+    input = 'foo'
+    output = Transform.map_string input, $identity
+    expect(input).to eq output
+
+  end
+
+  it 'maps dollar-delimted strings to escapa-paren delimited strings (A3)' do
+
+    input = 'ha ha ha $a^2 = 1$ ho ho ho'
+    expected_output = 'ha ha ha \\(a^2 = 1\\) ho ho ho'
+    compare_transform input, expected_output, $fixmath
+
+  end
+
+  it 'maps dollar-delimted strings to latexmath-delimited strings' do
+
+    input = 'ha ha ha $a^2 = 1$ ho ho ho'
+    expected_output = 'ha ha ha latexmath:[a^2 = 1] ho ho ho'
+    compare_transform input, expected_output, $fixmath2
+
+  end
+
+
+  it 'reads strings from files' do
+
+    input = Transform.read_string 'data/lorem'
+    expect(input.length).to be > 0
+
+  end
+
+  it 'implements the identity transform on files' do
+
+    Transform.map_file 'data/lorem', 'data/tmp', $identity
+    original_content = Transform.read_string 'data/lorem'
+    transformed_content = Transform.read_string 'data/tmp'
+    expect(transformed_content).to eq original_content
+
+  end
+
+
+
+end

data/spec/b.rb

@@ -0,0 +1,111 @@
+require 'asciidoctor'
+require 'asciidoctor/latex'
+require 'asciidoctor/latex/core_ext/colored_string'
+require_relative 'transform'
+
+include Transform
+
+VERBOSE = true
+
+def compare_transform input, expected_output, transfomer
+
+  warn ' ' if VERBOSE
+  warn input.blue if VERBOSE
+  warn expected_output.cyan if VERBOSE
+  output = Transform.map_string input, transfomer
+  warn output.blue if VERBOSE
+  warn ' ' if VERBOSE
+  expect(output).to eq expected_output
+
+end
+
+
+describe Transform do
+
+  before :each do
+
+  end
+
+
+
+  it 'handles the edge case of a dollar sign at the beginning of the line (A)' do
+
+    input = '$a^2 = 1$ ho ho ho'
+    expected_output = '\\(a^2 = 1\\) ho ho ho'
+    compare_transform input, expected_output, $fixmath
+
+  end
+
+  it 'handles the edge case of a dollar sign at the beginning of the line in latexmath (B)' do
+
+    input = '$a^2 = 1$ ho ho ho'
+    expected_output = 'latexmath:[a^2 = 1] ho ho ho'
+    compare_transform input, expected_output, $fixmath2
+
+  end
+
+  it 'handles the edge case of a dollar sign at the end of the line (C)'   do
+
+    input = 'ha ha ha $a^2 = 1$'
+    expected_output = 'ha ha ha \\(a^2 = 1\\)'
+    compare_transform input, expected_output, $fixmath
+
+  end
+
+  it 'handles the edge case of a dollar sign at the end of the line wth latexmath (D)'  do
+
+    input = 'ha ha ha $a^2 = 1$'
+    expected_output = 'ha ha ha latexmath:[a^2 = 1]'
+    compare_transform input, expected_output, $fixmath2
+
+  end
+
+  it 'handles the edge case of a dollar sign at the beginnng and end of the line (E)'  do
+
+    input = '$a^2 = 1$'
+    expected_output = '\\(a^2 = 1\\)'
+    compare_transform input, expected_output, $fixmath
+
+  end
+
+  it 'handles the edge case of a dollar sign at the beginnng and end of the line plus a little  space in mode 2 (F)'  do
+
+    input = ' $a^2 = 1 $'
+    expected_output = ' latexmath:[a^2 = 1]'
+    compare_transform input, expected_output, $fixmath2
+
+  end
+
+  it 'handles the edge case of a dollar sign at the beginnng and end of the line in mode 2 (G)'  do
+
+    input = '$a^2 = 1$'
+    expected_output = 'latexmath:[a^2 = 1]'
+    compare_transform input, expected_output, $fixmath2
+
+  end
+
+
+
+
+
+
+
+
+=begin
+  it 'applies the fixmath transform to files to files' do
+
+    Transform.map_file 'data/tex2', 'data/tmp', $fixmath
+
+    original_content = Transform.read_string 'data/tex2'
+    transformed_content = Transform.read_string 'data/tmp'
+    expected_content = Transform.read_string 'data/tex2.expect'
+
+    warn ('|||'+original_content+'|||').blue if VERBOSE
+    warn ('|||'+transformed_content+'|||').cyan if VERBOSE
+    warn ('|||'+expected_content+'|||').blue if VERBOSE
+    expect(transformed_content).to eq expected_content
+  end
+=end
+
+
+end

data/spec/c.rb

@@ -0,0 +1,121 @@
+require 'asciidoctor'
+require 'asciidoctor/latex'
+require 'asciidoctor/latex/core_ext/colored_string'
+require_relative 'transform'
+
+include Transform
+
+VERBOSE = true
+
+def compare_transform input, expected_output, transfomer
+
+  warn ' ' if VERBOSE
+  warn input.blue if VERBOSE
+  warn expected_output.cyan if VERBOSE
+  output = Transform.map_string input, transfomer
+  warn output.blue if VERBOSE
+  warn ' ' if VERBOSE
+  expect(output).to eq expected_output
+
+end
+
+
+describe Transform do
+
+  before :each do
+
+  end
+
+
+  it 'maps the text "$x$" correctly (A)' do
+
+    input = '$x$'
+    expected_output = '\(x\)'
+    compare_transform input, expected_output, $fixmath
+
+  end
+
+  it 'maps the text "$x$?" correctly (B)' do
+
+    input = '$x$?'
+    expected_output = '\(x\)?'
+    compare_transform input, expected_output, $fixmath
+
+  end
+
+  it 'maps the text "$x$-axis" correctly (C)' do
+
+    input = '$x$?-axis'
+    expected_output = '\(x\)-axis'
+    compare_transform input, expected_output, $fixmath
+
+  end
+
+  it 'maps the text "$Fe^{3+}$" correctly (D)' do
+
+    input = '$Fe^{3+}$'
+    expected_output = '\(Fe^{3+}\)'
+    compare_transform input, expected_output, $fixmath
+
+  end
+
+  it 'maps the text "$Cr^{+2}$ $Fe^{3+}$" correctly (E)' do
+
+    input = '$Cr^{+2}$ $Fe^{3+}$'
+    expected_output = '\(Cr^{+2}\) \(Fe^{3+}\)'
+    compare_transform input, expected_output, $fixmath
+
+  end
+
+  it 'maps the text "$\pi:U^+ \map U$" correctly (E)' do
+
+    input = '$\pi:U^+ \map U$'
+    expected_output = '\(\pi:U^+ \map U\)'
+    compare_transform input, expected_output, $fixmath
+
+  end
+
+  it 'maps the text "$\pi^{-1}(U) = U^+ \cup U^-" correctly (E)' do
+
+    input = '$\pi^{-1}(U) = U^+ \cup U^-$'
+    expected_output = '\(\pi^{-1}(U) = U^+ \cup U^-\)'
+    compare_transform input, expected_output, $fixmath
+
+  end
+
+  it 'maps the text "Then $\pi^{-1}(U) = U^+ \cup U^-$ is the disjoint union of two\nopen sets and $\pi:U^+ \map U$ is a local coordinate." correctly (E)' do
+
+    input = 'Then $\pi^{-1}(U) = U^+ \cup U^-$ is the disjoint union of two\nopen sets and $\pi:U^+ \map U$ is a local coordinate.'
+    expected_output = 'Then \(\pi^{-1}(U) = U^+ \cup U^-\) is the disjoint union of two\nopen sets and \(\pi:U^+ \map U\) is a local coordinate.'
+    compare_transform input, expected_output, $fixmath
+
+  end
+
+  it 'parses a complicated expression correctly (1)' do
+
+    input = <<EOF
+iLet $a$ be a point of the set $\\CC - B$  let $U$ be a neighborhood of $a$ in
+that set.  Then $\pi^{-1}(U) = U^+ \\cup U^-$ is the disjoint union of two
+open sets and $\pi:U^+ \map U$ is a local coordinate.
+EOF
+
+    expected_output = <<EOF
+Let \(a\) be a point of the set \(\\CC - B\)  let \(U\) be a neighborhood of \(a\) in
+that set.  Then \(pi^{-1}(U) = U^+ \\cup U^-\) is the disjoint union of two
+open sets and \(\pi:U^+ \map U\)is a local coordinate.
+EOF
+
+  compare_transform input, expected_output, $fixmath
+
+  end
+
+  it 'maps the text "Call these $y_+$ and $y_-$." correctly (E)' do
+
+    input = 'Call these $y_+$ and $y_-$.'
+    expected_output = 'Call these \(y_+\) and \(y_-\).'
+    compare_transform input, expected_output, $fixmath
+
+  end
+
+
+end