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
1answer
538 views

Maple: How to turn a set of vectors into a matrix?

In Maple the command NullSpace turns a given matrix into a set of vectors -- a basis for its null space. This is precisely what it should in a mathematical sense. However, for computations using the ...
0
votes
0answers
18 views

factor out of an expression, a couple principal ideals, software?

I have an expression, $f$, consisting of a few rational fractions of large multivariate numerators, $n1,\,n2,\ldots \in \mathbb{Q}[a1,a2,b1,b2;Q]$ and large multivariate denominators, $d1,\,d2,\ldots ...
0
votes
1answer
26 views

Coercing elements into a set in MAGMA

Suppose I had a permutation group $G$ for example, that corresponded to the intersection of some elements of a list $H$ where the elements are groups. Then, if I wanted to create a set or some ...
0
votes
0answers
28 views

Discrete Fourier Transform using WolframAlpha

I tried to verify a calculation with WolframAlpha. I want to compute the DFT of $[2,3,-3,1]$. So in particular one entry of the result vector should be $2+3-3+1=3$. I don't understand why I get ...
0
votes
0answers
45 views

How does the factor command on the TI-89 works?

So to put my question in context, I am working on the following problem. Let $N=1291233941$. Eve's magic box tells her the following three encryption/decryption pairs for $N$: $$(1103927639, ...
0
votes
0answers
21 views

Maple — Lattice Algorithms

Is there any place online where I can find the code for an algorithm which computes the shortest vector in a lattice? The library only includes the algorithm for LLL.
0
votes
1answer
28 views

How to find a $k$-basis for a quotient space of a polynomial ring by a subspace?

My question is "How to find a $k$-basis for a quotient space of a polynomial ring $R$ over $k$ by a subspace $V$?" Here the point is quotient by a subspace, not by an ideal. In Singular, there is a ...
0
votes
0answers
20 views

Derivative with respect to matrix X of Tr(A Exp(-iX)) where A in another matrix

How could I numerically evaluate $\nabla_\mathbf{X} \textrm{Tr}\left(\mathbf{A} \exp(-i \mathbf{X})\right)$? Is there a simple expression for it?
0
votes
0answers
22 views

3rd order non linear differential equation

$2f'''+f.f''=0$ The boundary conditions are given as $f(0)=r, f'(0)=0, f'(∞)=1$ , where $r$ is a constant . How can I solve this differential equation using Matlab or Mathematica ??
0
votes
0answers
41 views

What is the “cost” of computation of two special CAS algorithms

Suppose I have an integer $n$ with e.g. a large number of say decimal digits. I would like to get some information about the runtime "cost" of standard CAS algorithm which factors $n$ into primes ...
0
votes
1answer
34 views

Interpolating transformation matrices

I read not to interpolate transformation matrices by linearly interpolating. Can someone explain to me why interpolating transformation matrices by linearly interpolating the matrix components is a ...
0
votes
0answers
19 views

defining an upper bound for n-tuple

Let we have $n-tuple ~~like ~ a=(a_1,...a_n) \in N_0^n ~and ~every ~a_j < (2^{m_j} -1). $ and let suppose we have another n-tuple like $b:=(b_1,...,b_n)$ such that $ b_i \leq (2^{m_j} -1)$. I ...
0
votes
0answers
33 views

Improvement of Buchberger's Algorithm

1) Let $S(F)$ be the subset of $(k[x_1,\dots,x_n])^s$ consisting of all syzygies on the leading terms of $F=\{f_1,\dots,f_s\}$. Then every element of $S(F)$ can be written uniquely as a sum of ...
0
votes
0answers
35 views

Question about multiple solutions to a polynomial

Assume that $f(X,Y,Z,V,W)\in \mathbb{Z}[X,Y,Z,V,W]$ is some polynomial and assume that $f(x,y,z,v,w)=0$. I would like to know if there is some way to figure out if there are non-trivial constants in ...
0
votes
0answers
17 views

Gram-Schmidt-procedure with PARI/GP

Can the Gram-Schmidt-procedure to find an orthogonal basis of a vector space spanned by given linear independent vectors be easily done in PARI /GP or do I have to program the procedure ?
0
votes
0answers
63 views

Can a Computer Algebra System 'experiment' with expressions?

I have recently been reading about software for symbolic manipulation, and I can see its use as a tool for performing large calculations that would be unfeasible otherwise. Given that these systems ...
0
votes
1answer
148 views

Marking the roots of a quadratic function in Scilab

I have 2D plotted a simple quadratic function in Scilab and now have to mark the roots with an X. Is there any simple way of doing that? I have written a function that calculates the roots and ...
0
votes
0answers
42 views

How to reduce a graph via decomposition?

Is there a Java / C# library that can be used to reduce a graph via decomposition? Or could someone point me to a good tutorial where I can learn all these? E.g.
0
votes
1answer
61 views

Risch differential equation algorithm by Bronstein

I was implementing the algorithm by Manuel Bronstein for solving the Risch differential equation. My question is: What does Bronstein mean by "Order" in the algorithm poly_DE (exponential case, ...
0
votes
0answers
27 views

Changing the “Type” of an object in Magma

The computer algebra system Magma can store groups as one of many different types. For example, using AbelianGroup([2,2]) we obtain the Klein $4$-group stored as type GrpAb. However, we can also ...
0
votes
0answers
59 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
135 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
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
62 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
130 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
106 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
51 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
1answer
254 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
2answers
63 views

Regular vs Nonregular language [closed]

Let S be a language that is not regular? Suppose that T is a language such that T C S. Is T nonregular? This question is from textbook, can someone help me?
-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 ...