Review кода библиотеки символьных вычислений (symbolic computing)?

Question

[serso]

Вдохновившись этим проектом я решил написать свою библиотеку на java для проведения символьных вычислений.


Планируется выпустить два модуля:

1. Numeric, содержащий базовые математические объекты и операции над ними

2. Generic, содержащий более сложные вещи — выражения, парсинг и т.д.


На текущий момент первый модуль уже почти готов и т.к. разрабатывал его я один мне очень хотелось бы чтобы кто-нибудь его отревьювил — либо просто просмотрел исходный код, либо написал пару примеров его использования(тестов?)


Немного о структуре:

1. Пакет jscl.raw содержит классы для работы с сырыми числами — пока что только Double и BigDecimal

2. Пакет jscl.math.numeric непосредственно содержит базовые классы для работы (в каталоге misc можно поcмтреть диаграмму классов). Все классы представляющие математические объекты Real, Complex, Matrix, Vector растут от Numeric класса и являются неизменяемыми (immutable).


Если кто-то желает принять участие в написании библиотеки — пишите мне на почту, выкачивайте проект.

Ссылка на проект


Зачем всё это надо?

1. Проект meditor (ссылка выше) был заброшен автором в 2008 году. Я связался с ним и он сказал, что поддерживать его не будет (будет переписывать на scala =) ). Мне понравились некоторые идеи этой библиотеки, но не понравились некоторые решения принятые автором (отсутствие generic'ов, массивы и т.д.). По сути то что делаю я — это перерабатываю этот проект исправляя ошибки автора.

2. Я использую этот проект в своём приложении на аднроиде — Калькулятор++

3. Я заканчивал (а точнее заканчиваю) институт по специальности «Прикладная Математика» и мне интересно создавать проект связанные и с математикой и с программированием

4. Я не нашёл библиотеки похожей на эту

Comments

[png]

Какова цель библиотеки? Кто и для чего будет использовать? или просто делается чтобы была?

Answer 1

[Monnoroch]

Для начала, я сомневаюсь, что кто-то захочет писать библиотеку символьных вычислений с человеком, который называет их символическими.
А по существу — что конкретно вы подразумеваете под библиотекой символьных вычислений?
Как вы в общих чертах видите конечный результат?

Comments

[serso]

Я дико извиняюсь за ошибку — конечно же символьные вычисления, даже не знаю как меня угораздило такое написать.
По существу: библиотека должна уметь представлять и хранить все основные математические объекты — числа, матрицы, выражения, функции. Естественно, само по себе хранение никому не интересно, поэтому хочется чтобы библиотека умела проводить некоторые действия над ними, например, упрощение или вычисление результата и т.д. Как я уже сказал в качестве основы я использую jscl meditor, мною уже написан модуль jscl-numeric, который я и хочу чтобы посмотрел человек со стороны.

[Monnoroch]

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

[Monnoroch]

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

[serso]

Я понимаю о чём вы и я не хочу делать абсолютно общего решения. Моя цель — поле комплексных чисел с «классическими» операциями в нём + матрицы с их «классическими» операциями

[Monnoroch]

Да, конечно, только когда готовы матрицы, хочется реализовать общие операции с тензорами, потом даже если готово и это — всякую дискретву, типа логики, булевых функций и прочее, а заодно и конечные автоматы, регэкспы и обработку строк, потом анализ — пределы, производные, интегралы и алгебру: преобразования полиномов, etc. И для всего нужны разные обьекты. Ну, идея понятна :)
И кстати, если не хочется общего решения, то это уже не «символьные вычисления», потому как символьные вычисления по определению являются преобразованием выражений, состоящих из символов.
Все-таки получается у вас это библиотека для продвинутого калькулятора, а не обработки символьных данных.