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 ...

learn more… | top users | synonyms

0
votes
0answers
14 views

Cannot open Singular in a running emacs [on hold]

I am a newbies in Singular. I just downloaded Singular4-0-2_64.dmg, mounted the image, right-ckick, show the package contents, then moved the contents folder to the Applications directory. ...
4
votes
1answer
42 views

What is sample variance of sample variance, and what is theoretical sampling distribution?

I am trying to work some things in R and I am having trouble understanding some of the instructions. I generated $1000$ samples of size $5$ from the standard normal distribution, and I calculated the ...
1
vote
1answer
21 views

Ideal intersection in Boolean polynomial ring

I'm trying to calculate $ \langle x,y,z\rangle \cap \langle x+1,y+1,z+1\rangle $ in the ring of Boolean polynomials. In CoCoA initially I set the ring as ...
-1
votes
1answer
32 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 ...
2
votes
1answer
34 views

Quasi canonical isomorphisms between finite groups and subgroups of the symmetric group?

I'm implementing finite groups in Forth for my blog and since any group is a subgroup of a permutation group it make sense to let the standard elements be permutation schemas: ...
0
votes
0answers
23 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 ...
14
votes
1answer
349 views

Most wanted reproducible results in computational algebra

I am interested in suggestions for major computational results obtained with the help of mathematical software but not easily verifiable using computers. "Most wanted" could refer, for example, to ...
0
votes
0answers
23 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 ...
1
vote
1answer
25 views

How to create a matrix in pari/gp [closed]

How does one create a matrix in $\texttt{pari}$? I currently understand how to create a vector: ? vector(6,n,n^2) %1 = [1, 4, 9, 16, 25, 36] I also know how ...
2
votes
1answer
45 views

Looking Portable Mathematical Notation(s) [LaTeX, Mathematica, Maple, Macsyma] that are open

I'm looking for a portable Mathematical notation. What I mean by that is: I want to create a collection of (open-source) math problems that can be: Rendered for the Web or say in ePS format for ...
4
votes
1answer
114 views

Finding integer solutions to $y^2=x^3+7x+9$ using WolframAlpha

I am an unconditional admirer of WolframAlpha and for this reason I want to let the people of this error (or is it really the fault of mine?). If I'm not mistaken, I would be very happy to contribute, ...
4
votes
1answer
55 views

GAP Most efficient way to check multiple properties of a group in the small group library

In GAP I would like to search the small groups library looking for groups with specific properties (I suppose this is the most common usage). If I have a list of properties I want to test, what is ...
2
votes
1answer
43 views

(online) Tool to calculate $E(\mathbb{Q})/2E(\mathbb{Q})$ for $E: y^2 = x(x^2 + 3x + 5)$

For some exercise I need to compute the generators of $E(\mathbb{Q})/2E(\mathbb{Q})$, where $E: y^2 = x(x^2 + 3x + 5)$ I did this by the approach from Cassels book 'Lectures on Elliptic Curves' and ...
2
votes
0answers
40 views

Numerical intergration of a complex, oscillatory function (Bessel function, Singularities)

I am working on a university project at the moment and at some point I needed to calculate the intergral of the following function (Please refer to "Bakthiari et al. - Analysis of radiation from an ...
2
votes
1answer
41 views

UFD test - software? [closed]

I have a quotient of a polynomial ring. I would like to check if it is a UFD. Is there software that will allow me to do that?
1
vote
1answer
25 views

Simplify fog type function chain using sympy

I need to simplify some lengthy $fog(x)$ where both $f(x)$ and $g(x)$ are known rational polynomial in one variable. For e.g. $f(x) = (7x-9)/12$ and $g(x) = (2x-5)/7$. Then I would like to get a ...
1
vote
1answer
21 views

Computing Extensions of an Ideal in Singular or Macaulay2

Does Macaulay2 or Singular compute extensions of ideals under ring homomorphisms? Specifically, if $\phi:R\rightarrow S$ is a ring homomorphism (say polynomial rings over $\mathbb{Q}$ which can ...
-1
votes
2answers
35 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 ...
0
votes
1answer
19 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 & ...
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{ ...
2
votes
0answers
21 views

terms of taylor expansions of multiple variables at the origin

By the fundamental theorem of symmetric polynomials, $X_1,X_2,\cdots,X_n$ are polynomials of $ e_1,\cdots,e_n$ and $$ \mathbb{Z}[ e_1,\cdots,e_n]=\mathbb{Z}[X_1,X_2,\cdots,X_n]. $$ We define a ...
2
votes
0answers
50 views

What is the easiest to use software to draw Latex embeddable contour diagrams? [closed]

I need to draw a few diagrams of integration contours for complex integrals. What is the easiest to use software on which I can achieve this? Particular things I need, draw a zig-zag line to denote ...
0
votes
1answer
143 views

Can I get multivariable taylor series expansion on wolfram alpha or matlab?

I need something like this : say $a, x, y$ and $t$ are three non-negative real numbers. Now define the complex number, $z = -y + i(a+x-t)$ and consider the function $f(x,y) = z\text{ }tanh (\pi z) log ...
1
vote
1answer
90 views

Coset Enumeration with GAP

I have downloaded GAP version 4.7.8. for windows, and installed everything (all packages, including"ACE") with the installer. Now I want to do a simple task, enumerating the cosets. To create a group ...
1
vote
2answers
75 views

Compute Automorphism Group using Computer Software

Is there a computer software that can compute Automorphism Groups. For instance $Aut(\mathbb{Z}_4\times\mathbb{Z}_2)$. I tried Sage, but could not get it to work. Output: ...
1
vote
4answers
76 views

How would you represent an abstract set on a computer?

I'm trying to come up with a simple language for specifying mathematics. We can't simply define a set as a collection of objects because that's meant for human understanding and that would also lead ...
2
votes
0answers
26 views

How to name the branch of the Lambert W function?

The Lambert W function has two real branches: the principal branch and the secondary real branch: the former is denoted by $W_0$ or $W$, the latter by $W_{-1}$. How do we name them ? For example, we ...
2
votes
2answers
107 views

Indefinite integral that Wolfram Alpha can't solve

Does anybody know the indefinite integral problems that Wolfram Alpha can not solve but human can solve by using elementary functions? (The meaning of "solve" here is to represent primitive function ...
4
votes
0answers
59 views

Systems of linear modular equations with unknowns in the moduli

I am interested in systems of linear modular equations, where the unknowns also appear in the moduli. The general form would be: $A \vec{x}= \vec{b} \;\textrm{mod} \; (C \vec{x}+\vec{d})$ where A ...
3
votes
1answer
39 views

induced group actions in GAP

Suppose $G$ is a permutation group acting on some set (for example, $G$ could be the automorphism group of a graph, acting on its vertices). Suppose $G$ also acts on some collection $\Sigma$ of ...
2
votes
1answer
38 views

Computing group cohomology in magma?

I don't how to construct a group module in MAGMA. Can someone show me how to compute group cohomology using MAGMA? For example, I am interested in the action of finite p-groups on abelian p-groups, ...
0
votes
1answer
24 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 ...
2
votes
1answer
38 views

How to calculate the polynomial coefficients of a fraction of polynomials?

I have a polynomial fraction which results in a polynomial $$\frac{f(x)}{g(x)}=q(x)$$ with $f$ $g$ and $q$ being polynomials. I have formulas for the coefficients of $f(x)$ and $g(x)$ dependent on the ...
0
votes
1answer
120 views

Implement some actions in Gap

I would like to calculate, in GAP, certain permutation actions on matrices. Namely: Let $G=S_n$ be the symmetric group of degree $n$ and $\Omega=GL_n(q)$ (or a suitable subset). $G$ acts by ...
5
votes
2answers
222 views

Advantages to learning Sage?

I'm wondering if anyone can let me know advantages to installing/setting up Sage on my computer for doing computational math (work in groups, finite fields, and combinatorics, along with some search ...
1
vote
2answers
66 views

Real valued eigenvalues in GAP?

I have a matrix in GAP, and I want its real valued eigenvalues. (Or rational approximations of them, of course.) As far as I can tell Eigenvalues(Rationals,A) only gives me the rational eigenvalues. ...
1
vote
0answers
26 views

Determining equations for Lie symmetries

Am I right that using methods of the 1-forms (that usually implemented in system of computer algebra for Lie Symmetries), we can always generate determining equations for ODE, that solved for highest ...
2
votes
0answers
29 views

Can SAGE or othe software compute or guess growth rates of infinite discrete groups?

I am interested in the growth rate of some finitely generated (infinite, non-abelian) discrete groups. Knowing very little about geometric group theory, I am wondering if I can plug them into sage and ...
2
votes
0answers
33 views

signature function of Weyl group element in LieArt

I am currently using LieArt Mathematica package for some calculations in Lie algebra, I am wondering if there is a way to know what is the signature of a Weyl group element, it seems the package can ...
1
vote
1answer
51 views

Higher Level Group Actions beyond OnSets

Is there a way to produce an orbit of a chain in a poset (whose elements are sets of sets) (that is, the group action is a group acting on the order complex of a poset)? I really want something that ...
1
vote
0answers
57 views

Maxima CAS and programmatically defining a function with a variable number of arguments. -?

This is a very simplified question of what I had asked. In Maxima, how can I include a for-loop counter in the left-hand side of an assignment, e.g. ...
2
votes
1answer
64 views

Any mathematical software to verify no unique products.

Let $D^3= D \times D \times D$ where $D = D_\infty$ where we see $D$ as the group generated by $\mathbb{Z}$ and element $0^*$ of order $2$ such that $0^*n0^*=-n$ for all $n \in \mathbb{Z}$. Letting ...
2
votes
1answer
83 views

Help with Math software (macaulay 2)

I just started working with Macaulay 2 and need some help. I need to find the number of solutions of a system of equations. I am having difficulty imputing this into the software so please be specific ...
0
votes
0answers
22 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
61 views

How does GAP understand $SL_2(\mathbb{F}_3)$?

When one is asking for " IrreducibleRepresentations(SL(2,3))" it makes sense that the matrices it returns are over the complex field as thats the field on which the representations are. There GAP ...
3
votes
2answers
90 views

”lesser known” rules to calculate the derivative

I was reading through the online help of WolframAlpha (link) and found this statement: Wolfram|Alpha calls Mathematica's $D$ function, which uses a table of identities much larger than one would ...
3
votes
1answer
117 views

Practical applications of computer algebra systems

(Sorry if this is not the correct place for the question) Are there practical applications of symbolic computation systems like Mathematica, Sage, Maxima and the like in software development? To ...
2
votes
1answer
444 views

Given the graph below, use Dijkstra’s algorithm to find the shortest path (More details included)

So I've found out a few things and was wondering if someone could verify if I'm doing this correctly. So here is an example I've been given: Here is the solution to that example: Now here is the ...
0
votes
1answer
73 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 ...