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, SAGE. For questions about Mathematica please see the http://mathematica....

learn more… | top users | synonyms

0
votes
2answers
123 views

Simplify basic expression

Please, does anyone know which tool can simplify expressions like: $$a^4 - 4a^3b + 6a^2b^2 - 4ab^3 - a + b^4$$ into: $$(a - b)^4 - a$$ I tried SymPy, Maxima and W|A without success. PS: I'm ...
0
votes
1answer
76 views

How to get 2 percentages to a 100%

First of im new to this site and I've never been the sharpest at math, im a web developer by trade. My question is math related but ill just give you a quick background about my website so that you ...
0
votes
1answer
50 views

software with a routine for the vanishing ideal of a finite set of points

I am looking for an algebraic software package that provides a routine that computes the vanishing ideal of a finite set of points. So far i am working with Macaulay2 but i have not been able to find ...
0
votes
1answer
371 views

Solving a nonlinear equation for one of variables with the help of a computer algebra system

Are there any solutions out there that can take a wide variety of equations with variables, like the one below, and transpose or isolate variables to other sides of the equation automatically? For ...
0
votes
0answers
40 views

Who can help me to find a photo of “P. Gianny”? [on hold]

I need a photo of "P. Gianny"; one of the authors of FGLM algorithm, to preparing my slides about FGLM algorithm. Who can help me to find this photo?
0
votes
0answers
7 views

Computer-supported (SINGULAR) decision making on commutative-algebra Topics: Is a given quotient ring integrally closed in a specific field/ring?

is there a way to decide in the CAS SINGULAR, whether a given quotient ring, say $\mathbb C[x,y,z]/I$, where I is an ideal of $\mathbb C[x,y,z]$, is integrally closed in a given ring, say $\mathbb C[x]...
0
votes
0answers
6 views

Print the image of a map (morphism) in Singular

I try to learn some basics in SINGULAR. I just wonder, how to get the image of a morphism printed. Here's a short example: (for those, who don't know Singular, there is a small description added) <...
0
votes
0answers
45 views

Is any matrix representation of a monomial ordering invertible?

We know that any monomial ordering has a matrix representation. Let $\prec$ be a monomial ordering and $M$ be its matrix representation. Is $M$ invertible?
0
votes
0answers
19 views

Construction of polynomials in sagemath

This post is the mathematical part of a question I asked on Stackoverflow, which does not have $\LaTeX$. The question in here : http://stackoverflow.com/questions/37466781/constructing-polynomials-by-...
0
votes
0answers
25 views

Significance of various lex sort on polynomials

I have just finished writing a monomial order sort package for Maxima CAS which supports variety of lexicographic orders. But I want to know what are the uses of these sorts on polynomials. One that ...
0
votes
0answers
25 views

Can Any System Of Equations Be Solved By Any Variable First?

Suppose we have a system of equations with an arbitrary number of variables, but assume it is solvable for each variable (e.g. the system will have as many equations as variables and will have at ...
0
votes
1answer
23 views

How can I find an approximation for y(1) using MATLAB without ODE solvers? (Euler's Method & Matrices)

Task: Given \begin{align*} y(t+h)&\approx \underbrace{\left(\begin{matrix}1-h & 5h & h\\3h & 1-h & 0\\0 & -th & 1+h\end{matrix}\right)}_{F(t,h)}y(t)+\underbrace{\left(\...
0
votes
1answer
54 views

About calculating limits of integrals (Part 2)

The function $tanh(\pi z)$ has its poles at the points $i(n+\frac{1}{2})$ for $n \in \mathbb{Z}$. Now I want to take an $\epsilon$ circle around such a pole and contour integrate the function $z\text{ ...
0
votes
1answer
27 views

standard notation to handle representation of a real number on a computer

Is there a standard notation to handle the effective representation of some real number $x$ on a finite machine ? I have in mind some kind of braces, but I am not sure it is appropriate. Let me try to ...
0
votes
1answer
32 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
66 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
48 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
39 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
1answer
361 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
44 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
92 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
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
1answer
68 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
147 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
128 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
71 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
38 views

Nullified terms of this polynomial?

This the polynomial: $6 + 3x - 5y + 7xy -8x^2 + 3y^2 + 4x^2y - 7xy^2 + 9x^3 - 5x^4 + 8y^4x$ I would like to know which terms are there (so that I will form the complete polynomial, with zero as a ...
-1
votes
1answer
47 views

Line representation - implicit form

I am going through one of the the scan conversion techniques and it mentions the implicit equation of line as follows: $$F(x,y) = ax + by + c = 0 .$$ The text also mentions that $F(x,y)=0$ if the ...
-1
votes
1answer
318 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
35 views

How to automatically assign the output from the solve function in Maple 17 to variable names [closed]

Years ago while using Maple 11 mathematical software, I accidentally came across a way to automatically assign the output from the solve function into pre-designated variable names. So that if for ...
-1
votes
1answer
18 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 ...