exp98,

ну у меня не совсем коммерция, а скорее даже теоретическая электротехника) Поэтому будут комплексные числа. Да и вообще, не особо хочется привязываться к конкретной задаче - модуль работы с выражениями может вылиться и в самостоятельный продукт. Другое дело, что точность вычислений компьютера меня пока не волнует, от этого абстрагируемся.

Abstraction, mayton,

Да, я думал о таком варианте. Он меня не устраивает тем, что содержание привязывается к одной из форм. Не могу точно сказать, стоит ли заморачиваться в таком случае, - возможно, не так уж и необходимо, чтобы схожие по смыслу выражения хранились одинаково. Мне изначально хотелось выделить общее для двух представлений выражения и хранить именно это общее. При этом, мне не пришлось бы самому придумывать каноническую форму хранения, она была бы обусловлена математическими законами. Тут меня привлекает скорее идейная правильность способа хранения, нежели его полезные свойства. Хотя, думаю, у такого способа их бы было больше в любом случае. Но, видимо, не выйдет. Слишком мало знаний в этой области, да и непонятно, можно ли вообще решить такую задачу - ведь с точки зрения теории множеств мы имеем лишь набор соответствий между точками двух множеств. Ну а если еще учитывать, что распределительный закон не инвариантен, лучше и не тратить время зря. Хотя не уверен, стоит ли это учитывать при разработке математических парсеров. В практических задачах, скорее всего, в основном используются обыденные алгебраические структуры.