Minor fixes in code and docstrings

alphageometry.py

@@ -308,7 +308,7 @@ def translate_constrained_to_constructive(
 
 
 def check_valid_args(name: str, args: list[str]) -> bool:
-  """Check whether a predicate is grammarically correct.
+  """Check whether a predicate is grammatically correct.
 
   Args:
     name: str: name of the predicate
@@ -441,7 +441,7 @@ def insert_aux_to_premise(pstring: str, auxstring: str) -> str:
 
   Args:
     pstring: str: describing the problem to solve.
-    auxstring: str: describing the auxiliar construction.
+    auxstring: str: describing the auxiliary construction.
 
   Returns:
     str: new pstring with auxstring inserted before the conclusion.

ar_test.py

@@ -191,7 +191,7 @@ def test_incenter_excenter_touchpoints(self):
     # Now we check whether tb has figured out that
     # distance(b, d1) == distance(e1, c)
 
-    # linear comb exprssion of each variables:
+    # linear comb expression of each variables:
     b = tb.v2e['bc:b']
     c = tb.v2e['bc:c']
     d1 = tb.v2e['bc:d1']

beam_search.py

@@ -16,7 +16,7 @@
 """Fast decoding routines for inference from a trained model.
 
 Modified https://github.com/google/flax/blob/main/examples/wmt/decode.py
-to acommodate
+to accommodate
 
 (a) continued decoding from a previous beam cache.
 (b) init with with a single beam and then expand into beam_size beams.
@@ -235,7 +235,7 @@ def beam_search_flat(
 ):
   """Beam search for LM.
 
-  inputs and cache is already flat! i.e. first dimention == batch*beam.
+  inputs and cache is already flat! i.e. first dimension == batch*beam.
 
   Args:
     seed_token: array: [beam_size, 1] int32 sequence of tokens.

graph.py

@@ -2060,7 +2060,7 @@ def _get_or_create_ratio(
   def _get_or_create_ratio_l(
       self, l1: Length, l2: Length, deps: Dependency
   ) -> tuple[Ratio, Ratio, list[Dependency]]:
-    """Get or create a new Ratio from two Lenghts l1 and l2."""
+    """Get or create a new Ratio from two Lengths l1 and l2."""
     for r in self.type2nodes[Ratio]:
       if r.lengths == (l1.rep(), l2.rep()):
         l1_, l2_ = r._l
@@ -2736,7 +2736,7 @@ def all_eqangle_same_lines(self) -> Generator[tuple[Point, ...], None, None]:
   def all_eqangles_distinct_linepairss(
       self,
   ) -> Generator[tuple[Line, ...], None, None]:
-    """No eqangles betcause para-para, or para-corresponding, or same."""
+    """No eqangles because para-para, or para-corresponding, or same."""
 
     for measure in self.type2nodes[Measure]:
       angs = measure.neighbors(Angle)