Related papers: $C_p$-Mackey functors in Macaulay2

Let KG be a group algebra of a finite p-group G over a finite field K of characteristic p. We compute the order of the unitary subgroup of the group of units when G is either an extraspecial 2-group or the central product of such a group…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

This is basically a summary of [Mu]. The focus of the paper is the explicit computation of Hecke operators for period functions. In particular we compute the matrix representations of the 2nd Hecke operator on period functions for the full…

We introduce the computer algebra package {\sf PyCox}, written entirely in the {\sf Python} language. It implements a set of algorithms - in a spirit similar to the older {\sf CHEVIE} system - for working with Coxeter groups and Hecke…

We describe a recently revived version of the software package SubalgberaBases, which is distributed in the Macaulay2 computer algebra system. The package allows the user to compute and manipulate subagebra bases -- which are also known as…

We propose a new generalisation of Cayley automatic groups, varying the time complexity of computing multiplication, and language complexity of the normal form representatives. We first consider groups which have normal form language in the…

Multi-derivative one-step methods based upon Euler-Maclaurin integration formulae are considered for the solution of canonical Hamiltonian dynamical systems. Despite the negative result that simplecticity may not be attained by any…

This paper looks at the class of groups admitting normal forms for which the right multiplication by a group element is computed in linear time on a multi-tape Turing machine. We show that the groups $\mathbb{Z}_2 \wr \mathbb{Z}^2$,…

We study cohomological finiteness conditions for groups associated to Mackey and cohomological Mackey functors, proving that the cohomological dimension associated to cohomological Mackey functors is always equal to the…

In this article we give an order-dividing bijective function between cyclic and non cyclic groups of finite order. In particular, we prove that there exists a bijective function from D_{2n} to Z_{2n} for any natural integer n; and from Z_p…

A new conjecture on characters of finite groups, related to the McKay conjecture, was proposed recently by the first and third authors. In this paper, we prove it for $p$-solvable groups when $p$ is odd.

In this paper, we establish higher order Borel-Pompeiu formulas for conformally invariant fermionic operators in higher spin theory, which is the theory of functions on m-dimensional Euclidean space taking values in arbitrary irreducible…

An update of the ODEtools Maple package, for the analytical solving of 1st and 2nd order ODEs using Lie group symmetry methods, is presented. The set of routines includes an ODE-solver and user-level commands realizing most of the relevant…

Mathematica offers, by way of the package Combinatorics, many useful functions to work on graphs and ordered structures, but none of these functions was specific enough to meet the needs of our research group. Moreover, the existing…

We introduce Macdonald polynomials indexed by $n$-tuples of partitions and characterized by certain orthogonality and triangularity relations. We prove that they can be explicitly given as products of ordinary Macdonald polynomials…

In this paper we develop computational tools to study the higher algebraic $K$-theory of Green functors. We construct a spectral sequence converging to the algebraic $\mathbb{G}$-theory of any $G$-Green functor, for $G$ a cyclic $p$-group.…

Let $Q$ denote the cyclic group of order two. Using the Tate diagram we compute the $RO(Q)$-graded coefficients of Eilenberg-MacLane $Q$-spectra and describe their structure as a module over the coefficients of the Eilenberg-MacLane…

In recent years, there has been considerable success in computing Ext-groups of modular representations associated to the general linear group by relating this problem to one of computing Ext-groups in functor categories. In this paper, we…

We present the python package DiPolMol-Py, which can be used to calculate the rotational and hyperfine structure of $^2\Sigma$ molecules. The calculations can be performed in the presence of dc magnetic fields, dc electric fields and far…

We completely calculate the $RO(\mathbb{Z}/p)$-graded coefficients $H\underline{\mathbb{Z}/p}_\star H\underline{\mathbb{Z}/p}$ for the constant Mackey functor $\underline{\mathbb{Z}/p}$.