ajendrex/expander — Issue #1: Feature request: Increment/decrement other sites in chain expressions
Author: rhz
Created: 2011-11-10 22:42:15+00:00
State: open

Hi Hector,
I'd like very much to see this expression:
Mem(l!10, r!11, t!1, b), Mem(l!11, r!12, t!2, b), ..., Mem(l!14, r!10, t!5, b)
expanded as:
Mem(l!10, r!11, t!1, b), Mem(l!11, r!12, t!2, b), Mem(l!12, r!13, t!3, b), Mem(l!13, r!14, t!4, b), Mem(l!14, r!10, t!5, b)

And what about internal states? I'd just cycle them, e.g.,
Mem(l~a!10, r~b!11, t~c!1, b), Mem(l~z!11, r~y!12, t~x!2, b), ..., Mem(l~a!14, r~b!10, t~c!5, b)
get expanded as
Mem(l~a!10, r~b!11, t~c!1, b), Mem(l~z!11, r~y!12, t~x!2, b), Mem(l~a!12, r~b!13, t~c!3, b), Mem(l~z!13, r~y!14, t~x!4, b), Mem(l~a!14, r~b!10, t~c!5, b)

or
Mem(l!10, r!11, t!1, b~a), Mem(l!11, r!12, t!2, b~a), ..., Mem(l!14, r!10, t!5, b~a)
get expanded as
Mem(l!10, r!11, t!1, b~a), Mem(l!11, r!12, t!2, b~a), Mem(l!12, r!13, t!3, b~a), Mem(l!13, r!14, t!4, b~a), Mem(l!14, r!10, t!5, b~a)

Anyway, at the moment I'm only interested in the first part (bond labels).

Thank you very much.

Best wishes,
Ricardo