[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Normalise each equation

Subject: Re: Normalise each equation
From: Chris Warburton
Date: Wed, 08 Nov 2017 01:46:16 +0000
In-reply-to: <d030ecefe68b07dc-0-artemis@nixos>
References: <d030ecefe68b07dc-0-artemis@nixos>

We now number variables sequentially and ensure the LHS is
lexicographically smaller than the RHS

References:
- Normalise each equation
  - From: Chris Warburton

Prev by Date: Re: Wrap results in array, if given array
Previous by thread: Normalise each equation
Index(es):
- Date
- Thread