A computer algebra system (CAS) is a program which is able to carry out various symbolic manipulations with mathematical expressions. Some well-known computer-algebra systems: Mathematica, Maple, Wolfram Alpha, GAP. For questions about Mathematica please see the ...

learn more… | top users | synonyms

0
votes
0answers
21 views

Why $face_w(New(f))=New(in_w(f))$?

Is there anyone who can help me with this problem? Any hint to the solution would be appreciated! Let $f\in \Bbb K[x_1,\ldots,x_n], w\in \Bbb R^n$ and $New(f)$ be the Newton polytope of $f$. Why ...
0
votes
0answers
58 views

Why are these CAS calculated integrals equal

I let Wolfram evaluate this integral: $$\int\frac{-2\sin(x)\cos(x)}{2\cos^2(x)+\cos(x)-1}dx$$ 1st result from WolframAlpha online was $$\frac43 \log(\cos(\frac{x}2))+\frac{1}{3\log(1-2 \cos(x))}+C$$ ...
0
votes
1answer
92 views

Computing univariate resultant via modified Euclidean algorithm

In an answer to the question Resultant of Two Univariate Polynomials, a PDF of course slides was linked which describes a modification of Euclid's algorithm for computing univariate polynomial ...
0
votes
1answer
33 views

Canonical Separation of variables

Do the functions of the form $\psi(x)\phi(y)$ span $L^2(\mathbf{R}^6)$? Insert proper grammar here.
0
votes
0answers
29 views

Coercing a vector into a module in MAGMA.

Given a $1\times n$ row vector $v$ over a ring $R$, and an $n$-dimensional $R$-module $M$, is there any way to coerce the vector $v$ into $M$ (the obvious $M!v$ does not work).
0
votes
0answers
36 views

Can Maple solve recurrence relations when n is only certain numbers?

If you have an equation $a(n)=a_{n-1}+2a_{n-2}$ only defined when n is powers of 2, how would convey that to Maple that n has a restriction? What if you wanted only $n \ge 2$?
0
votes
1answer
59 views

Maple command for algebraic combinaiton of polynomial in $\mathbb{Z}_p[x]$

Let $F(x) , f_1(x),\ldots, f_r(x)$ be polynomials with coefficients in $\mathbb{Z}_p$ ($p$ is odd prime) Is there a Maple command to determine if$$ F(x) = a_1(x)f_1(x)+\dots+ a_r(x)f_r(x) \pmod{p} ...
0
votes
1answer
115 views

Vectorfields on Surfaces with MuPAD

i am working with MuPAD. I can make vectorfields in 3D and also Surfaces in 3D via plot::VectorField3D and plot::Surface. But now i want to draw a vectorfield ON a surface. If $X$ is a vectorfield ...
0
votes
0answers
101 views

How to solve an equation in three variables fixing two of the variables?

Also, I have the following equation, I want to solve it for $b$ keeping $a$ and $c$ fixed. $5b^5+(60-5a)b^4+(125+50c-80a)b^3+(594c-445a-775)b^2+(2324c-1005a-3270)b+3000c-750a-3000=0.$ Also how to ...
-1
votes
2answers
45 views

how to solve two's complement question?

i tried 9 D + (-10 D) 9= 0000 1001 10= 0000 1010 Reverse 10 = 1111 0101 and add 1 become 1111 0110 after that add up 9 D + (-10 D) == 0000 1001 + 1111 0110 but the answer is equal to 1111 1111 ...
-1
votes
2answers
273 views

How are arrays defined with GAP? [closed]

Is it possible to define arrays in GAP ? If not what is the replacement ?
-1
votes
1answer
226 views

Best graphing program for Mac or PC?

I just bought the highest end iMac, with a student discount, of course, and was wondering what is the best graphing program out there. A program that can graph any equation that I throw at it AND one ...
-1
votes
1answer
16 views

Verification of $F(m)^{d} \pmod n \equiv m$ with very large inputs, where $F(m)=m^e$

Does anyone have the computational power to check whether or not $F(m)^{d} \pmod n \equiv m$, where the values of the variables are found below. According to Wolfram Alpha, I found the result of the ...