Skip to content

Commit

Permalink
some typos fixed in the russian version and other minor improvements
Browse files Browse the repository at this point in the history
  • Loading branch information
jemmybutton committed May 15, 2019
1 parent 55dfd7c commit 2309dd9
Show file tree
Hide file tree
Showing 3 changed files with 26 additions and 20 deletions.
8 changes: 5 additions & 3 deletions byrne.mp
Original file line number Diff line number Diff line change
Expand Up @@ -2634,12 +2634,14 @@ vardef byNamedAngleSidesFull (text anglesList)(text linesList)=
if ((abs(angleDir[i] - anglePart[j]) mod 360) < 1):
angleCount[i] := angleCount[i] + 1;
angleCheck := false;
if (getAttribute("angle", "Style", str aN) = 0) or ((getAttribute0("angle", "OptionalColor", str aN) <> white) and (getAttribute0("angle", "OptionalColor", str aN) <> bytransparent)):
if (getAttribute("angle", "Style", str aN) = 0)
or ((getAttribute0("angle", "OptionalColor", str aN) <> white)
and (getAttribute0("angle", "OptionalColor", str aN) <> bytransparent)):
angleType[i] := 0;
fi;
fi;
endfor;
if (angleCheck):
if angleCheck:
angleNum := angleNum + 1;
angleDir[angleNum] := anglePart[j];
angleSide[angleNum] := as[j];
Expand Down Expand Up @@ -2725,7 +2727,7 @@ vardef byNamedAngleSidesFull (text anglesList)(text linesList)=
fi;
compoundAnglePath := compoundAngleArc -- (ac*scaleFactor) -- cycle;
elseif (j <> 0):
errmessage("There are gaps in the compound angle");
errmessage("There are gaps in a compound angle");
fi;
else:
errmessage("The angles are not concentric");
Expand Down
6 changes: 4 additions & 2 deletions byrne_context.tex
Original file line number Diff line number Diff line change
Expand Up @@ -3512,7 +3512,8 @@
\startCenterAlign
Draw $\drawUnitLine{CA} \perp \mbox{ and } = \drawUnitLine{DC}$ (\inpropL[prop:I.XI], \inpropN[prop:I.III])

Draw $\drawUnitLine{AB} \parallel \drawUnitLine{DC}$, and meeting \drawUnitLine{BD} drawn $\parallel \drawUnitLine{CA}$.
Draw $\drawUnitLine{AB} \parallel \drawUnitLine{DC}$,\\
and meeting \drawUnitLine{BD} drawn $\parallel \drawUnitLine{CA}$.

In
\drawFromCurrentPicture[bottom][polygonABDC]{
Expand All @@ -3525,7 +3526,8 @@
$\drawUnitLine{CA} = \drawUnitLine{DC}$ (\conststr)\\
$\drawAngle{C} = \mbox{a right angle}$ (\conststr)

$\therefore \drawAngle{D} = \drawAngle{C} = \mbox{a right angle}$ \inprop[prop:I.XXIX], and the remaining sides and angles must be equal, \inprop[prop:I.XXXIV]
$\therefore \drawAngle{D} = \drawAngle{C} = \mbox{a right angle}$ \inprop[prop:I.XXIX],\\
and~the~remaining sides and~angles must be equal \inprop[prop:I.XXXIV].

And $\therefore \polygonABDC$ is a square \indef[def:I.XXX]. % improvement: in the original definition 27 was wrongly referenced
\stopCenterAlign
Expand Down
Loading

0 comments on commit 2309dd9

Please sign in to comment.