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
3answers
92 views

Does MAPLE not simplify correctly or am I goofing?

While attempting to answer this question with help of MAPLE, something very strange happened, at least according to me. We have the following function: $$ \phi(x,y) = ...
0
votes
1answer
54 views

What “meta-dimension” do algebraic numbers have?

actually what I am asking for is "how many ways do there exist to create a real number out of a sequence of coefficients?" there is the solution of polynomials through radicals, some polynomials can ...
3
votes
1answer
316 views

Proving $n^{97}\equiv n\text{ mod }4501770$

How do we show $$n^{97}\equiv n\text{ mod }4501770$$ for all integer $n$? First of all, I thought I could use Fermat's little theorem or Euler's theorem, but I'm not sure if they are applicable here.
0
votes
0answers
19 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
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
2answers
84 views

Evaluating the real and imaginary parts of a nasty complex number

This seems like an elementary question, but I was unable to find an clear answer to it. Generally, the real and imaginary parts of a complex number comprised of radicals are not expressible by ...
1
vote
1answer
131 views

Computing 2d radially symmetric Fourier transforms (with Wolfram Alpha)

Let's assume that I "know" $\mathcal{F}\{\operatorname{circ}(r)\}(\rho)=\frac{J_1(2\pi\rho)}{\rho}$ $\mathcal{F}\{(1-r^2)\operatorname{circ}(r)\}(\rho)=\frac{J_2(2\pi\rho)}{\pi\rho^2}$ because I ...
1
vote
2answers
58 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
76 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
32 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 ...
3
votes
0answers
53 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
80 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
49 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 ...
2
votes
0answers
36 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 ...
2
votes
0answers
77 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
93 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 $\dfrac{1+\sin ...
1
vote
1answer
43 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 ...
5
votes
2answers
141 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
115 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 ...
2
votes
0answers
122 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
88 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
57 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
63 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
1answer
79 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
85 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
67 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
58 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
57 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
139 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
63 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
1answer
45 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 ...
2
votes
2answers
178 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 ...
3
votes
0answers
69 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
32 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
148 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
28 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
60 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
209 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
35 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
600 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 ...
3
votes
3answers
234 views

Cornacchia's Algorithm

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
88 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
47 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 ...
1
vote
0answers
33 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
2k 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 ...
2
votes
1answer
67 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
113 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
30 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
121 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 ...
2
votes
0answers
428 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 ...