Помещение вещей в HoldPattern

Question

Я создаю список правил замены, подобных этому

ops = {LessEqual, GreaterEqual};
ineqRules = Table[HoldPattern[Inequality[a_, op1, c_, _, e_]] -> a == c, {op1, ops}]

Выше не работает, потому что "op1" скрыт от таблицы HoldPattern, как мне это исправить?* Это продолжение предыдущего вопроса

Answer 1

Как насчет

ops = {LessEqual, GreaterEqual};    
ineqRules = (HoldPattern[Inequality[a_, #, c_, _, e_]] :> a == c) & /@ ops

Редактировать: Чтобы исправить проблему, отмеченную в ответе Велисария, попробуйте:

ineqRules=Flatten[{HoldPattern[Inequality[a_,#,c_,___]]:>a==c,HoldPattern[#[a_,c_]&&___]:>a==c}&/@ops]

Это, очевидно, зависит от того, что у вас есть простая структура, т.е.нет других && 's.

Answer 2

Это работа для С :

ops = {LessEqual, GreaterEqual};
ineqRules =
  Table[
    With[{op1=op1},
      HoldPattern[Inequality[a_, op1, c_ ,_ ,e_]] -> a == c
    ],
    {op1, ops}
  ]

Answer 3

Я уверен, что должен быть лучший способ, но это, кажется, работает:

ops = {LessEqual, GreaterEqual};
ineqRules[op_] := HoldPattern[Inequality[a_, op, c_, _, e_]] -> a == c;
ineq = Table[ineqRules[op], {op, ops}];
Inequality[1, LessEqual, x, Less, 2] /. ineq

Out: 1 == x

HTH

Редактировать

Будьте осторожныс этим:

Inequality[e1, GreaterEqual, e2, Equal, e3] /. ineq
Out> e1 == e2

Но

Inequality[1, GreaterEqual, e2, Equal, 2] /. ineq
Out> False

Я полагаю, что для того, чтобы выйти из этого состояния, если понадобится, нужен какой-нибудь зверь Hold [] ... дайте нам знать