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
11 views

Boolean Expression simplification help

Hi I am new to the board. Taking a computer architecture course and I am having trouble understanding further simplification on a question I got on a previous quiz. When I type in the expression ...
1
vote
1answer
31 views

Prevent Maple to evaluate before simplify a function

I have been trying to find a domain of $f(x)=\frac{x}{\frac{(x+2)}{(x-3)}}$ using different kind of software ( its clear the domain of this function is $\mathbb{R}\backslash \{-2,3\}$ ). When I tried ...
1
vote
1answer
19 views

Computational complexity of expanding a MacLaurin/Taylor Series

What methods exist to computationally determine the first $k$ coefficients of a function (possibly polynomial or rational polynomial function)? How do Mathematica/MatLab/Maple/etc. solve this ...
1
vote
0answers
13 views

Adjoint action of a Lie algebra in MAGMA

Let's say I have a Lie algebra $L$ and an element $x$ in $L$. I need to compute $(\mathrm{ad} \ x)^n(y)$ for several values of $y$ and a particular value of $n$. I thought the best way to do this ...
1
vote
1answer
19 views

In SAGE, what function factors a polynomial whose coefficients are parameters?

In SAGE the function "factor" will factorize elementary polynomials with coefficients in $\Bbb Q$. For example: x,y = var('x,y') poly = x^3-y^2*x factor(poly) SAGE: x*(x-y)*(x+y) ...
1
vote
1answer
28 views

Symbolic computations in finite fields of unspecified order

The general setting is that I want to multiply some matrices (to many to do it by hands) over a finite field. The problem is that these matrices depend on certain parameters taken from the field and ...
0
votes
0answers
16 views

Mathematica: Extract the piece that contains x=0 from within a piecewise function [migrated]

In mathematica, I have a piecewise function similar to: Piecewise[{ {x^2 + 2*x - 4, 0 <= x <= 1/4}, {0, true} }] I don't ...
2
votes
0answers
23 views

Muirhead's Inequality (software?)

I just started learning about inequalities: Schur's, Karamata's, Muirhead's, etc... They are beautiful but it seems that in the case of more than two variables, some of the computations become a ...
0
votes
0answers
44 views

Todd-Coxeter algorithm: coincidences

I'm trying to understand the Todd-Coxeter algorithm with the help of a multiplication and relator table, but there is one thing about coincidences that is not really clear. For some small groups (for ...
2
votes
2answers
63 views

Simple algebra in a differential equation.

I have the differential equation: $$\frac{dy}{dx}=\sin (x-y).$$ Substituting $v=x-y$ and $dy=dx-dv$, I got down to the equation:$$\frac{dv}{1-\sin(v)}=dx.$$ Multiplying the LHS by $\frac{1+\sin ...
1
vote
1answer
33 views

Checking if a polynomial expression is constant in SAGE

I have a huge fractional-polynomial expression in SAGE that I have good reasons to believe is the constant function. Is there a command in SAGE like "== constant function" that I could use to check ...
3
votes
1answer
71 views

How do you compute group cohomology in practice?

If you have a finite group $G$ and a finite $G$-module $K$, and you need to know $H^1(G,K)$ or $H^2(G,K)$, how do you do it? Do you use a computer algebra system? (If so, which one?) Do you use a ...
0
votes
2answers
105 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 ...
1
vote
0answers
33 views

How does one solve equations over finite fields in SAGE?

Sage has the method solve (or function, I'm not sure what's the correct terminology) that finds solutions to 'symbolic expressions'. In particular, if one wants to find solutions for a given set of ...
2
votes
1answer
57 views

Elementary “bugs” in computer algebra systems?

There's a discussion of bugs in CAS's here, but these are technical errors of interest mainly to the professional mathematician. I am more interested in simple errors which might arise in the use of ...
0
votes
0answers
56 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
0answers
23 views

Graded piece of ring in Macaulay2

I apologize for the basic question, but I couldn't figure how to do this. I'm looking at the homogenous ring $R = QQ[w,x,y,z]$, I take $I = ideal(w*z-x*y)$ and $S=R/I$. Then I construct some ideal $J$ ...
0
votes
1answer
37 views

Solving an equation in charcateristic 2 in sage OR finding 3-torsion points of an elliptic curve over field with char 2

Problem: show that an elliptic curve over a field of char 2 has nontrivial 3-torsion points Method: I used SAGE to unwind the duplication formula for an elliptic curve given in short Weierstrass form ...
1
vote
0answers
33 views

Silverman exercise 3.1 proving that two polynomials are relatively prime iff the discriminant is non-zero

Silverman, p. 104: Show that the polynomials $$f=x^4−b_4x^2−2b_6x−b8 \qquad \text{and}\qquad g=4x^3+b_2x^2+2b_4x+b_6$$ appearing in the duplication formula (III.2.3d) are relatively prime if ...
0
votes
1answer
34 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
57 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 ...
2
votes
1answer
40 views

What are elementary field extensions?

While reading about symbolic integration I encountered some concepts of Differential Algebra. I do not know much of D.A and Fields in general also I have encountered as an extension of Rings. I ...
1
vote
1answer
33 views

How to calculate resultant of two polynomials without knowing the roots.

So in Rothstein - Trager's Method of evaluating logarithmic part they need resultant of two polynomial as shown in the image. My question is that how do they calculate the resultant without knowing ...
1
vote
1answer
64 views

Knuth-Bendix completion algorithm: word problem

Can someone explain me how to set up an algorithm to find the 12 normal forms of the group $A_4$ by making use of the Knuth-Bendix completion algorithm? So we have that $RRR=1, SSS=1$ and $RSRS=1$. ...
1
vote
1answer
35 views

Help in understanding risch algorithm

This is an excerpt from the paper that explains risch algorithm for symbolic integration. I do not understand how do we get to the residue directly and also how does it help us in the integration. ...
0
votes
0answers
25 views

Printing long lines in MAGMA without line break

In MAGMA, how do I print a long list of items to a file without automatic line breaks? It seems to me that there is an internal length limit and anything longer than it will result in a automatic ...
1
vote
1answer
60 views

Galois group command for Magma online calculator?

I need to test if a family of 7th deg and 13 deg equations are solvable. I'm new to Magma, so my apologies, but what would I type in, http://magma.maths.usyd.edu.au/calc/ to determine the Galois ...
2
votes
0answers
45 views

Computing the decomposition of a representation of $S_n$

I have an explicitly defined representation of the symmetric group that I would like to decompose into irreducibles. How to do this most easily? The best approach I have so far is as follows: Find a ...
0
votes
1answer
29 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.
4
votes
0answers
98 views

How to integrate $\left(1+\ln(x)\right)\sqrt{1+(x\ln(x))^2}$ with Risch algorithm?

How would you integrate $\left(1 + \ln\left(x\right)\right)\, \sqrt{1 + \left(x\ln\left(x\right)\right)^{2}\,}$ using the Risch algorithm? I want to know this because Mathematica is using the Risch ...
0
votes
0answers
25 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).
1
vote
2answers
51 views

In maple how do you evaluate combinations?

In Maple how do you have it evaluate combinatorics such as $\binom{5}{2}$ and give you the answer 10? (What is the name of what I want to do anyways, is it evaluate?) Thanks. Seems so easy now that I ...
1
vote
2answers
201 views

CAS for algebraic geometry, which one?

I use Maple to compute Groebner bases and find it very efficient/fast for my current needs. However, several introductory textbooks on algebraic geometry refer to Singular, which I never used before. ...
0
votes
0answers
33 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$?
2
votes
2answers
196 views

How to define a recurrence relation in Maple?

I'm new with Maple and want to define a recurrence relation. I want to 1) have Maple solve it to the explicit formula 2)have Maple output a few evaluations of it for various values of ...
2
votes
3answers
147 views

Cornacchia'sAlgorithm

Can any one give the representation for a prime number 9444732965601851473921 as $x^2+15y^2$. I tried cubic cornacchia algorithm in nzmath implemented through python, but in vain. I also tried ...
1
vote
1answer
48 views

Resultant of Two Univariate Polynomials

I am trying to implement an algorithm for computing Res(f(x),g(x),x) where f(x) and g(x) uni variate polynomials with integer coefficients. Could any one list the various algorithms for computing ...
2
votes
0answers
41 views

Is there a known algorithm for approximating all the real and imaginary zeros of any well behaved equation of a single variable?

Does there currently exist a general algorithm (or set of algorithms used together) that will approximate all the zeros of any well behaved non-differential equation of a single variable which has a ...
0
votes
0answers
24 views

Revealing output slowly in Magma

When working in Magma, is there a command to gradually reveal the output. For example, if you have a finite group $G$ and you want to calculate SubgroupLattice(G), then the output may be thousands of ...
3
votes
1answer
760 views

Using Wolfram Alpha to solve a system of linear equations

How do I input the below system of equations in Wolfram Alpha in order to solve for the unknowns? I'm wondering if there's some kind of code that can be written in order to make wolfram alpha ...
0
votes
0answers
52 views

R code for triple integration

I am trying to write R code for triple integration. Here, I am just using a simple function as an example: f(x,y,z) = x^2*y+z. Here's what I have : fvec = function(x,y,z) sapply(x, function(t,y,z) ...
0
votes
0answers
32 views

Evaluating polynomials at elements of algebras in Magma

I've defined a $2$ dimensional algebra, $A$ in Magma as follows: R:=FieldOfFractions(PolynomialRing(GF(2),10)); A:=Algebra< R,2|[1,0,0,1,0,1,1,1]>; The sequence of $1$'s and $0$'s just ...
0
votes
0answers
25 views

Picking out Vector Coefficients in Magma

Suppose $K/k$ is a finite field extension, with fixed basis $e_1,\ldots,e_d$, and $f\in K[x_1,\ldots,x_n]$. Using our basis, $f$ has a unique expression as a sum of polynomials in ...
2
votes
1answer
52 views

Producing a set of matrices in MAGMA

As part of my work I need to define the set of all $n\times n$ matrices with entries in $\{0,1,\ldots,n\}$ (considered as a subset of $\mathbb{Z}$), such that each row and column of the matrix sums to ...
2
votes
1answer
99 views

How to extract the indeterminates from a set of polynomial?

I am a biologist and I am facing a huge problem. I would like to extract the indeterminates of a set of polynomials, for example, I have: $f_{1} = \{\\x_{3}^{2} + x_{1}*x_{2} + x_{1} + x_{1}*x_{3},\\ ...
0
votes
1answer
26 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 ...
2
votes
1answer
110 views

Using Janet Basis to solve a nonlinear polynomial system

I am trying to solve a nonlinear polynomial equation system using Janet basis, when they have finite many solutions. For example the solution of the system: $$xy^2-y^3-3x^2=0,x^2+y^2+xy=0.$$ There ...
1
vote
0answers
193 views

Solving large, sparse system of linear equations

I have a system of linear equations as follows: $$(A+I)x=B$$ where $I$ is the $n\times n$ identity matrix, $A$ is a $n\times n$ matrix such that the first and last rows are blank, and, for every ...
0
votes
0answers
28 views

How to use computer software for q-series calculations?

I have been reading about the dissections of cranks and there are lot of calculations with q-series identities which are very tedious by hand. What kind of computer algebra packages can we use in ...
0
votes
0answers
47 views

Computing a linear combination in $\mathbb{Z}_p[r,s,t,u,v]$

Let $F, f_1, \ldots f_5$ be polynomials in $\mathbb{Z}_p[r,s,t,u,v]$, the ring of polynomials in 5 variables over the integers modulo an odd prime $p$. By forming the ideal $J:=< f_1, \ldots ...