# Tagged Questions

13k views

### Is Sage on the same level as Mathematica or Matlab for graph theory and graph visualization?

The context: I'm going to start working on a project that involves running predefined algorithms (and defining my own) for very big graphs (thousands of nodes). Visualization would also be welcome if ...
503 views

### Math-related open source software to contribute to

I'm interested in finding a math-related open source project that I can contribute to. I've studied maths and stats at undergraduate level, but I'm a professional software developer and I'll have some ...
208 views

### Genus of the graph $K_{4,2,2,2}$.

What is the genus of the complete $4-$partite graph $K_{4,2,2,2}$? What i know: Since $K_{4,4,2}$ is a subgraph of $K_{4,2,2,2}$, and genus of $K_{4,4,2}$ is 2, $K_{4,2,2,2}$ has genus greater than ...
444 views

### Definition of Modular Forms over finite Fields

I'm still severely lacking in background at the moment, but I'm interested in doing something with congruence properties of modular forms (relations between coefficients of the q-expansions that hold ...
442 views

### Find the rational points on $1 + 18 x + 81 x^2 + 44 x^3 = y^2$ with Sage

I'm trying to use Sage on-line,but I meet some trouble with the code of it. I want to find the rational points on an ellipse curve,such as $$1 + 18 x + 81 x^2 + 44 x^3 = y^2,\tag1$$ I know that ...
279 views

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

### Why can you not omit the '*' sign for multiplication in Sage, Matlab, and other mathematical software?

Question I have some experience with Sage and Matlab. Both mathematical software packages require you to have the '*' sign when multiplying symbolic variables with integers. For example, in Matlab ...
1k views

### Graphing Compex Functions 3D (x,y,i axes) Instead Of Color-Coded (SAGE).

Following this guide to Sage: and using Sage Online produced the following graphs: Graphing $\frac{1}{1-z}$ that way yeilds: Graphing $\frac{1}{1-z^2}$ that way yields: It would be nice to see ...
135 views

### Maps of primitive vectors and Conway's river, has anyone built this in SAGE?

I am attempting to teach number theory from John Stillwell's Elements of Number Theory in the upcoming semester. There are two sections (5.7 and 5.8) which describe the diagrammatic method for the ...
284 views

### Finding irreducible representations of the following group using GAP

Given the following group of order 24, $$G = \langle a,b \mid a^2=b^3=(abab^2)^2=1\rangle$$ how can one find (all) the irreducible representations using GAP? Since I have not installed GAP yet, I ...
317 views

### Create Graph In Sage

I want define new graph in sage. Let $V$ be vector space over finite field $GF(q)$. The graph's vertices are 1-dimensional subspace from $V$ and $n-1$ -dimensional subspace from $V$ and two vertices ...
60 views

### Question about direuler command in Pari/GP

From the Pari/GP users guide: 3.4.16 direuler(p=a,b,expr,{c}). Computes the Dirichlet series associated to the Eulerproduct of expression expr as p ranges through the primes from a to b. expr must ...
316 views

### On Hilbert Class Polynomial

Is there any open source software which computes Hilbert Class polynomial of an imaginary quadratic fields? Thank you in advance
91 views

### $\mathbb{Q}$ isn't a number field for SAGE

This is more a question about the weird behavior of SAGE: ...
123 views

I asked a question the other day: Multidimensional Hensel lifting which @Hurkyl kindly and very elegantly answered. A follow-on from this is that I have tried to implement exactly the "algorithm" ...
85 views

### Using sage to test for squares in residue fields

Let $K$ be a number field, $x \in \mathcal{O}_K$, and $\mathfrak{p}$ a prime of $K$. I want to find out using sage whether or not the reduction of $x$ modulo $\mathfrak{p}$ is a square in the ...
404 views

### Converting GAP groups into SAGE permutation groups.

I have been working with SAGE online, and have made some programs to test some hypothesis about finite groups. However, the pre-defined "named" groups in SAGE are quite limited (basically, the ...
263 views

### A question about modular forms in SAGE

I was trying to solve Exercise 1.4.5 in Alvaro Lozano-Robledo's book Elliptic Curves, Modular Forms and Their L-functions, which is about representations of integers as sums of 6 squares and its ...
882 views

### How to load and use a PARI/GP script in Sage notebook?

I don't know whether this is the correct place to ask such a question, but I am dealing with this problem for a couple of days. Take for example the script ...
285 views

### Calling GAP's StructureDescription from SAGE

Given a sage group object $G$, I want to obtain its structure description using GAP, as follows: sage: gap.StructureDescription(G) The command works fine in ...
14k views

### Is there a symbolic math package for octave?

I am using Octave (3.6) on Ubuntu 10.0.4 LTS. I want to do some research involving symbolic math. I was thinking of downloading sage (I just found about it today) - but thought I'd better ask in here ...
166 views

### How to implement a group action in Sage ( for educational purposes )?

Let S= {"A","B","C","D"} and S4= SymmetricGroup(4). I want to create a table of the action S4 x S -> S which standardly permutes the letters in the set. The table should look like: ...
838 views

### Why is this curve nonsingular?

Let $C$ be the projective closure of $Z(f) \subset \mathbf{A}^2$ where $f$ is an irreducible polynomial of degree 4 in $x$ and degree 2 in $y$, so $C = Z(f^*) \subset \mathbf{P}^2$ where $f^*$ is the ...
2k views

### Prove that curve lies on a cone?

I have a curve given by this equation: $$c(t) = (t\cos t,t \sin t,t)$$ I need to prove that this curve lies on a cone, and draw that cone and curve in Sage. I've read somewhere that I could prove it ...
80 views

### $p$-adic numbers in SAGE

The standard output in SAGE for $p$-adic numbers is in the series representation: sage: x = Zp(7)(12495) sage: x 3*7^2 + 7^3 + 5*7^4 + O(7^22) Is there a way to ...
I'm trying to find the fundamental domain of congruence subgroups in SAGE by mapping the boundaries of the fundamental domain of $\mathrm{SL}_2(\mathbb{Z})$ by certain matrices. How can I transform ...