Stack Overflow
Stack Overflow

Questions tagged [computer-algebra-systems]

A computer algebra system (CAS) is a software program that allows to compute mathematical expressions via symbolic computations.

A computer algebra system (CAS) is a software program that allows to compute mathematical expressions via symbolic computations.

Appearing in mid 60's, computer algebra systems are present in a variety of platforms, including pocket calculators. The first popular computer algebra systems were muMATH, Reduce, Derive and Macsyma.

Computer algebra systems are able to:

  • partial and total differentiation
  • some indefinite and definite integration
  • symbolic constrained and unconstrained global optimization
  • solution of linear and some non-linear equations over various domains
  • solution of some differential and difference equations
  • taking some limits
  • matrix operations including products, inverses, etc.
  • statistical computation

This category includes software systems such as:

More details:

73 questions
1
vote
0 answers

How to solve simultaneous congruences equations in r

3x ≡ 7(mod2) 2x ≡ 5(mod3) 5x ≡ 4(mod7) I solved this congruences in R, like given below > modlin(3,7,2) [1] 1 > modlin(2,5,3) [1] 1 > modlin(5,4,7) [1] 5 > a<-c(1,1,5) > m<-c(2,3,7) > chinese(a,m) [1] 19 > prod(2,3,7) [1] 42 So, I got the correct…
Aarthika
  • 101
  • 11
1
vote
1 answer

cannot open Singular on a running emacs

I am a newbies in Singular. I just downloaded Singular4-0-2_64.dmg, mounted the image, right-ckick, show the package contents, then moved the contents folder to the Applications directory. double-clicking Contents/MacOS/Singular (or Esingular) I…
pink-panther
  • 21
  • 2
1
vote
0 answers

How to construct a subring of a polynomial ring in Magma

This question is about the computer algebra system Magma (not the linear algebra library), and is crossposted from scicomp.SE. Please forgive if this is off-topic; I am a regular user of the StackExchange network but this is my first post on…
benblumsmith
  • 111
  • 2
1
vote
0 answers

Sympy Geometric Algebra: switching between both covariant and contravariant forms

This question regards making sympy's geometric algebra module use both covariant and contravariant vector forms to make the output much more compact. So far I am able to use one or the other, but not both together. It may be that I don't know the…
James Cook
  • 160
  • 1
  • 6
1
vote
1 answer

"Private" symbols for sum(), diff(), or integrate()

Let's consider the following function I've already mentioned in my previous question: rot[i](f) := sum(sum(sum(sum( G[r,i]*G[q,j]*W[i,j,k]*('diff(f[k], y[q]) + sum(K[k,q,m]*f[m], m, 1, N)), r, 1, N), j, 1, N), …
firegurafiku
  • 3,017
  • 1
  • 28
  • 37
1
vote
1 answer

Magma CAS. Finding all d in [1..100] such that x^3+y^3=d for x,y in the rationals

> One := procedure(); procedure> P2 := ProjectiveSpace(Rationals(),2); procedure> for i := 1 to 100 do procedure|for> C_i := Curve(P2, x^3+y^3-i*z^3); procedure|for> E_i, C_itoE_i := EllipticCurve(C_i); procedure|for>…
Adam Staples
  • 396
  • 2
  • 7
  • 19
1
vote
1 answer

Enforcing a rule in a symbolic expression in Matlab

I have already asked the same question in the Matlab user community. I have the following symbolic expression: (3*s11)/2 + (3*s12)/2 + (3*s13)/2 + (3*s14)/2 + (3*s15)/2 + (s11*s12)/2 + (s11*s13)/2 + (s11*s14)/2 + (s12*s13)/2 + (s11*s15)/2 +…
Omar Shehab
  • 1,004
  • 3
  • 14
  • 26
1
vote
2 answers

coding in maxima language vs lisp

I just thought of writing some function similar to Mathematica's partition function with passing option in maxima as, listpartitionpad(l,n,k,d):= block([temp:[],gap,newl,ntemp:[]], newl:apply(create_listpad,flatten([n,k,d,l])), …
Pankaj Sejwal
  • 1,605
  • 1
  • 18
  • 27
1
vote
1 answer

Maxima: Returning function from function and evaluating it aftewards

I want to create a function in Maxima similar to ConstantArray in Mathematica. So I tried putting a wrapper around make-array but make_array(fixnum,2,3,4) takes last arguments as a sequence of parameters rather than a list while if one calls…
Pankaj Sejwal
  • 1,605
  • 1
  • 18
  • 27
1
vote
1 answer

Simplification rule not being applied properly

I'm trying to use Dirac Bra-Ket notation in Maxima using the code from here http://raoul.koalatux.ch/sites/ladderoperator/ladder_operator.html declare(bra, nonscalar); declare(ket,…
cwitte
  • 140
  • 4
1
vote
1 answer

Is there a language that employs a Computer Algebra System for additional features and optimizations?

For example, imagine a function like this: int solveSomeEquation(int y) { y = (int x) * 2; return x; } Using symbolic algebra, the compiler would determine that x = y / 2. Even better, it would complain that int is not sufficient for…
Brent
  • 4,153
  • 4
  • 30
  • 63
1
vote
1 answer

Sage: Catch MACSYMA-QUIT is Undefined

My Situation When I'm using the sage.all module just on the normal python shell, sage.all throws an error on running methods like solve or assume: >>> import sage.all as sg;a=sg.var('a');sg.assume(a==0); Traceback (most recent call last): File…
fdj815
  • 569
  • 1
  • 7
  • 15
1
vote
1 answer

GUI for computer algebra system

Good day. We are working on the framework for computer algebra on Java. At this point it can be used only programmatically (eg. you need to write some code on java or groovy to use it), but it is not so user friendly. It is too complicated to set up…
dbolotin
  • 390
  • 3
  • 12
0
votes
0 answers

I'm writing a CAS program and I've been storing the expressions as a tree structure, but I'm having issues with chaining comparison operators

I'm working on writing a small CAS framework for a project, and it stores mathematical expressions as trees, with each node being an operator, and it's branches being the parameters. It isn't a binary tree, as there are some nodes (such as negation…
sgfw
  • 285
  • 2
  • 14
0
votes
1 answer

Algebraic manipulation in C

Right now i'm looking to code a program that can do basic linear algebra from, Where i have 2 constants: A and B, where i can simply input their coefficients and add other values onto it. Example: Say i wanted to find the terms of the fibbonaci…
user3344560
  • 29
  • 3
1 2 3
4
5