I'm making a symbolic algebra program. I want it to have:
> different types of variables + rationals
> negative and positive exponents (maybe radicals)
> negative and positive coefficients
> ability to attempt to simplify an equation (reduce amount of unlike variables and terms)
> ability to attempt to solve for (isolate) a variable
What are some relevant abstract algebra concepts or theorems that I can apply to this?
Give it support for generatingfunctionology and you'll be pretty much set.
>>8780235
what is functionology?
>>8780153
It doesn't sound like you know much about computer algebra or symbolic computation. I'd try looking for a textbook on these topics.
>>8780365
fair enough which one?
>>8780153
Use risch algorithm for integration
>>8781165
I wasn't gonna make it integrate anything yet but I might in the future
>>8780153
I am writing exactly the same, though it is specifically for solving equations and differentiating/integrating. My starting point was that you need to keep a database for variables to compare with and apply rules all the time.
matrix multiplication
what language are you using btw?
>>8780153
So long as it can do first and second year linear algebra it's good in my books.
>>8781519
C++
>>8782785
shit nigga, do you have github, codeshare.io, or something like that?
I'm doing something similar with C++, we should collaborate.
>>8782791
I shall make a repo and then you can add your code
>>8780153
you mean like
wolfram?
>>8782814
massive kek on your readme "wolfram doesn't have shit on me"
also, make a header file that sends a two dimensional vector, integers for rows and columns, and i'll make an implantation file that can preform various LA operations on it.(pic related what I'm working on)
>>8782847
implementation*
>>8782847
That doesn't look very symbolic
>>8782883
Do you know what a matrix is? This just operate on the variables, symbols can be assigned to variables later.
>>8782847
> C++
> not using LAPACK
> not using glorious structs and dynamic arrays
>>8782922
LA libraries are cheating
>>8782922
also, a vector sort of is a dynamic array
>>8780153
Why are you re-inventing a wheel?
>>8782847
>>8782930
so LA library is cheating but Vector library isn't?
some matrix code I wrote long ago using structs because i was too lazy to learn LAPACK
>>8783196
neat, do you have a github?