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

1
vote
1answer
108 views

How to test a formula online?

I have an equation I have devised, it is: $$\frac{H+O}{25}+\frac{D}{12970}+\frac{E}{363}+110 = X$$ The equation doesn't matter, I just posted it as an example. I need to be able to plug in values ...
1
vote
1answer
313 views

How to effectively compute a periodic function?

I'm writing a program to compute a value of periodic function for any arbitrary large argument: $f(k) = (\sum_{n=1}^{2^k} n)\mod\ (10^9 + 7)$, where $n,k \in \mathbb{N} $ I know that $ f(k + P) = f(...
1
vote
1answer
129 views

Is there CAS design wisdom regarding categorizing expressions?

Is there CAS design wisdom regarding categorizing expressions? For instance. A user types in the expression $X^2 + X + 1$. Would it be best to classify it as a member of $R[X]$ (for some R, yet to ...
1
vote
0answers
24 views

GF(2^n) Multiplication using normal base

I want to implement the multiplication using normal basis in the binary field $GF(2^n)$ (where n=163, 233 for example). The multiplication with normal basis is performed by $c_0=A*M*B^T$, where $M$ is ...
1
vote
0answers
49 views

The software for finite field arithmetic

Is there any software, library,or toolkit that support arithmetic with normal basis on $GF(2n)$ field? What is the best one? Especially, which software can implement the conversion between normal ...
1
vote
0answers
38 views

Singular CAS vs Macaulay2 for finite fields

I intend to work on error correcting codes using finite fields. Finite fields are supported by both Singular and Macaulay2 CAS, now I am confused about which one I should start with to learn. Any ...
1
vote
0answers
22 views

Algorithm for computing an inverse image

Let $k$ be a field (finite if you'd like), and let $f:A\to B$ be a map of graded, commutative $k$-algebras. Suppose further that $A$ is finitely generated and choose a presentation $$A:=k[x_1,\ldots,...
1
vote
1answer
28 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
0answers
92 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 ...
1
vote
0answers
34 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 ...
1
vote
0answers
65 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. ...
1
vote
1answer
57 views

Generating a 2D coordinate from a 1D Index

Imagine you have a 5x5 matrix (zero indexed), where only the upper right coordinates are valid. I am unsure if this is the terminology to use, so the following coordinates should be the valid ones: <...
1
vote
0answers
67 views

Lower bounds on possible integer relations from the PSLQ algorithm

For the equation: $$ \sum_{i=1}^na_ix_i=0 $$ where all $x_i$ are real numbers and all $a_i$ are integers, the PSLQ algorithm can either find an integer relation or give lower bounds on the norm of ...
1
vote
1answer
111 views

How to detect carry and overflow?

Let's say that 0011 + 0111 = 1010 How to detect whether the operation generate carry and overflow?
1
vote
0answers
55 views

Recent benchmarks of CAS programs? (HNF, Groebner)

I've been trying to find recent benchmarks of CAS systems for computing the Hermite Normal Form as well as Groebner basis over both $\mathbb{Q}$ and $\mathbb{C}$. I've been unable to find anything ...
1
vote
2answers
149 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
143 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 ...
1
vote
0answers
153 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 ...
1
vote
0answers
16 views

Tools for optimizing asymptotic bounds.

Is there any tool for this task ? Given the asymptotic bound in term of $n$ and other paramaters $t_1,\dots,t_r$, then return the value for each $t_i$ which optimizes the expression in term of $n$, ...
1
vote
0answers
105 views

Flatten kronecker product in CAS?

I am a new user of Maxima, and I need to trace the elements of a big messy kronecker product of symbolic matrices. I tried the following to get my feet wet, but I don't get a simple, flat matrix -- ...
1
vote
0answers
101 views

Looking for a binomial system solver

I am interested in solving binomial systems of the form $$ \begin{cases} a_1 x_1^{d_{11}} x_2^{d_{12}} \cdots x_n^{d_{1n}} + b_1 x_1^{d_{11}} x_2^{d_{12}} \cdots x_n^{d_{1n}} &= 0 \\ ...
1
vote
0answers
44 views

CAS for counting points of varieties over finite fields

I am looking for a computer algebra system, which is able to some of the following (in theory equivalent) things for a smooth projective variety defined over a finite field: -Count the number of ...
1
vote
0answers
968 views

Simple example application of Karush-Kuhn-Tucker conditions to minimization problem

I am wondering if there is a simple example application of the Karush-Kuhn-Tucker conditions to show that a minimum exists for a multivariate minimization/optimization problem. Could anyone suggest a ...
1
vote
1answer
48 views

Interpreting a chain of m's and o's from Macaulay2

This has been crossed referenced here as well in case a software developer understands this language. I am using Macaulay2 and does anyone know how to read the following? Example 1: -- [gb]{1}(...
1
vote
0answers
63 views

Computing relations on the columns of a matrix

Given an $m\times n$ (with $n>m)$ matrix $M$ over a polynomial ring $R=k[x_1,...,x_n]$, suppose that every column of $M$ is an $R$-linear combination of $m$ specified columns. I would like to ...
0
votes
2answers
177 views

Any software package with Mordell equations implemented?

I admit I have no idea how to tag this post, but I'm looking for a CAS/number theory software package that would implement a decent algorithm for computing the integral solutions to $x^2 = y^3 - k$, ...
0
votes
1answer
7k views

Plot Y-Range on Mathematica

I have a plot that I would like to slightly manipulate in Mathematica. Here is the code I am entering: Plot[{x, 2^x, log_2(x)}, {x, -1, 3}] As you can see $x$, $2^x$, and $log_2(x)$ are all ...
0
votes
3answers
129 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) = x^2-y^2+\frac{x^2-y^2}{(x^2+y^2)^...
0
votes
1answer
67 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 uses ...
0
votes
1answer
175 views

The mathematics underlying this baroque expression of the double-factorial

On the OEIS page for the double factorial, there are three ways of getting the sequence in PARI. One of them is this curious bit of PARI code: ...
0
votes
1answer
30 views

GRAPE package in GAP cannot create automorphism groups

I tried to get the automorphism group of a graph in gap, using the GRAPE package, but I got the following error: ...
0
votes
2answers
282 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 ...
0
votes
1answer
90 views

Postfix notation in MAPLE

I usually use MATHEMATICA as a computer algebra system and there I heavily employ the postfix notation (achieved by "//" at the end of some command), e.g. ...
0
votes
1answer
102 views

Semi directProduct and Maximal subgroup in gap [closed]

Let $P$ be a quaternion of order 8 and $Q$ a cyclic group of order 9 and $G=[p]Q$, a semidirect product ($P$ is normal in $G$). Let $M$ be a maximal subgroup of $G$ such that $Q<M$. I want to ...
0
votes
1answer
581 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 ...
0
votes
1answer
208 views

finding roots of polynomial in MAGMA or GAP

Please hint me. I want to find the roots of $x^3+(1-2n)x^2-(1+4n)x+8n^2-10n-1$ with Magma or GAP. In Magma: $P<x> := PolynomialRing(Rationals())$; $P<n>:= PolynomialRing(Rationals(...
0
votes
1answer
62 views

CAS expression - Solve equations with $\sum$ and $\infty$

Can a TI89 or other CAS calculators solve this? I tried it on my classpad 330 did not work solve for p $$p = \sum_{j=0}^\infty p^j \frac{2^je^{-2}}{j!}$$ solve for p $$p = \lim_{z \to \infty} \...
0
votes
1answer
61 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 ...
0
votes
1answer
155 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 ...
0
votes
1answer
115 views

Symbolic manipulations of integral equations

I was trying to learn about solving integral equations using symbolic algorithms. After a quick web search, I mostly found items like this Mathematica journal article that mostly focuses on how to use ...
0
votes
1answer
203 views

How to iterate over power set in MAGMA?

I want do something for all subsets J of a certain cardinality of {1,2,...,n}, for a (previously declared) number n. It seems magma is not happy with: for J in PowerSet([1..n]) do To which MAGMA ...
0
votes
2answers
73 views

solving a matrix equation $X-I=a \cdot (X\cdot U^T + U \cdot X)$

I am trying to solve the $n \times n$ diagonal matrix $X$ in the following equation: $$X-I=a \cdot (X\cdot U^T + U \cdot X)$$ where $0<a<1$ is a given scalar, $U$ is a $n \times n$ given ...
0
votes
1answer
636 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
1answer
30 views

Print LIST of polynomials in Magma in one line instead of multiline

Suppose I have list of two polynomials and want to print it. I will get multi line output: ...
0
votes
2answers
62 views

How do I include an integer constraint in Wolfram Alpha?

Related question: Tell Wolfram Alpha that a variable is a natural number I want to do the following in Wolfram Alpha: Minimise $$z = (y_1-x_1)+(x_2-y_2)+(1/2)(x_3)$$ s.t. $$0 \le ...
0
votes
1answer
48 views

Compute Christoffel symbols & Riemann tesors in Maple 17

I invented a metric tensor g and now I'm trying to compute my first Christoffel symbol but an error message is popping up "Error, bad index into matrix" Is there a way for maple to compute Christoffel ...
0
votes
1answer
123 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 ...
0
votes
1answer
109 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
1answer
343 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 {1.5+...
0
votes
1answer
53 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.