Fixed multiple typos
This commit is contained in:
parent
f532bdc9f7
commit
8c7ea22d54
|
@ -3,7 +3,7 @@
|
||||||
# to independently set assumptions on input or intermediary variables.
|
# to independently set assumptions on input or intermediary variables.
|
||||||
#
|
#
|
||||||
# The general approach is:
|
# The general approach is:
|
||||||
# * A constraint is a tuple of two sets of of symbolic expressions:
|
# * A constraint is a tuple of two sets of symbolic expressions:
|
||||||
# the first of which are required to evaluate to zero, the second of which
|
# the first of which are required to evaluate to zero, the second of which
|
||||||
# are required to evaluate to nonzero.
|
# are required to evaluate to nonzero.
|
||||||
# - A constraint is said to be conflicting if any of its nonzero expressions
|
# - A constraint is said to be conflicting if any of its nonzero expressions
|
||||||
|
|
|
@ -11,7 +11,7 @@ Note:
|
||||||
|
|
||||||
- To avoid unnecessary loads and make use of available registers, two
|
- To avoid unnecessary loads and make use of available registers, two
|
||||||
'passes' have every time been interleaved, with the odd passes accumulating c' and d'
|
'passes' have every time been interleaved, with the odd passes accumulating c' and d'
|
||||||
which will be added to c and d respectively in the the even passes
|
which will be added to c and d respectively in the even passes
|
||||||
|
|
||||||
*/
|
*/
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue