<ruby id="d9npn"></ruby>

<sub id="d9npn"><progress id="d9npn"></progress></sub>

<nobr id="d9npn"></nobr>

<rp id="d9npn"><big id="d9npn"><th id="d9npn"></th></big></rp>

<th id="d9npn"><meter id="d9npn"></meter></th>

# Questions tagged [computer-algebra]

Using computer-aid approach to solve algebraic problems. Questions with this tag should typically include at least one other tag indicating what sort of algebraic problem is involved, such as ac.commutative-algebra or rt.representation-theory or ag.algebraic-geometry.

235 questions
62 views

### Quantifier elimination and where is this quantified convex program in the polynomial hierarchy?

I have a quantified convex program of the form that I need to solve $$\exists(x_{1,1},\dots,x_{1,n})\in\mathbb R^n\quad\forall(x_{2,1},\dots,x_{2,n})\in\mathbb R^n$$ $$\vdots$$ \exists(x_{2t-1,1},\...
129 views

### Branching to Levi subgroups in SAGE and the circle action

In the SAGE computer package, there useful exist tools for branching representations of a simple Lie group to a Levi subgroup: http://doc.sagemath.org/html/en/reference/combinat/sage/combinat/...
67 views

### Perform a univariate integral, involving a Gauss hypergeometric function

This is a follow-up question to the one posed in Compute the two-fold partial integral, where the three-fold full integral is known . (I hope that doing so is viewed as a legitimate step. If not so, I ...
487 views

### Compute the two-fold partial integral, where the three-fold full integral is known

I have the following trivariate ($\rho_{11}, \rho_{22}, \mu$) function 4 \mu ^{3 \beta +1} \rho_{11}^{3 \beta +1} \left(-\rho_{11}-\rho_{22}+1\right){}^{3 \beta +1} \rho_{22}^{3 \...
178 views

### Computing Groebner basis for a complicated systems of polynomials

I am trying to solve complicated systems of polynomial equations. The first step is to determine maximal sets of independent variables for the solution manifold (ideal) or the number of isolated ...
142 views

### Obtaining quiver and relations for finite p-groups

Given a finite field $K$ with $p$ elements and a finite $p$-group $G$, is there a way to obtain the quiver and relations of $KG$ with GAP (and its package QPA)? Since $KG$ is local, the quiver should ...
94 views

### Recovering the bimodule from the trivial extension

Given a ring $S$ with a non-zero $S$-bimodule $M$, the trivial extension of $(S,M)$ is defined as the ring $R:=T_M(S)$ with $R= S \oplus M$ with multiplication $(s,m)(s',m')=(s s', sm' +m s')$. We ...
53 views

### Quadrics over the univariate function field with discriminant of minimal degree

Consider a non-degenerate quadric $Q(x,y,z) \subset \mathrm{P}^2$ over the univariate function field $\mathbb{F}_p(t)$, where $\mathbb{F}_p$ is a prime finite field, $p > 2$. For simplicity assume ...
123 views

224 views

Given a finite dimensional quiver algebra $A$ over an arbitrary field and a module $M$ of finite injective dimension or finite projective dimension. Let $B$ be the Ext algebra of $M$, that is $B:=\... 0answers 96 views ### Compute the closure of graph of function from complement of hypersurface in$\mathbb{A}^n$I'm hoping someone can give me some tips to help speed up computation on the following problem: Suppose I have a map$G=(g_1/f,\dots,g_m/f):\mathbb{A}^n\setminus{V(f)}\to \mathbb{A}^m\$. I'm ...

15 30 50 per page
特码生肖图
<ruby id="d9npn"></ruby>

<sub id="d9npn"><progress id="d9npn"></progress></sub>

<nobr id="d9npn"></nobr>

<rp id="d9npn"><big id="d9npn"><th id="d9npn"></th></big></rp>

<th id="d9npn"><meter id="d9npn"></meter></th>

<ruby id="d9npn"></ruby>

<sub id="d9npn"><progress id="d9npn"></progress></sub>

<nobr id="d9npn"></nobr>

<rp id="d9npn"><big id="d9npn"><th id="d9npn"></th></big></rp>

<th id="d9npn"><meter id="d9npn"></meter></th>