Как использовать лямбду в MathML

Question

Я использую MathML в качестве вычислительного механизма и манипулятора символов, и меня интересует мощность элемента <lambda/>.Я был бы признателен за примеры его использования для вычислений или даже любого другого использования

ПРИМЕЧАНИЕ. @David_Carlisle относится к обсуждению в списке MathML, которое очень полно занимается этим: http://lists.w3.org/Archives/Public/www-math/ и, в частности,нить под: http://lists.w3.org/Archives/Public/www-math/2012Mar/0008.html

Answer 1

Питер. Я думаю / надеюсь, что вы получили ответы, которые вам нужны, в списке www-math, но стыдно оставлять здесь вопросы по mathml без ответа для тех, кто ищет сайт позже, поэтому классическое использование лямбды - сделать анонимную функцию, которая принимаетаргумент и добавляет 1 к нему.В классической лямбда-записи это будет

λ x.x + 1

или в более обычной математической функции обозначения стрелок

x ↦ x + 1

или в mathml

 <lambda><bvar><ci>x</ci></bvar>
   <apply><plus/><ci>x</ci><cn>1</cn></apply>
 </lambda>