Related papers: Divisor package for Macaulay2
We define vector fields, leaves and trajectories for schemes. With these tools, we are able to give a geometrical interpretation and to generalize several results of differential Galois theory and constructions on differential schemes. We…
In this paper, we define the notion of crossed modules of groups with action and investigate related structures. Functions for computing of these structures have been written using the GAP computational discrete algebra programming…
We consider families of smooth projective curves of genus 2 with a single point removed and study their integral points. We show that in many such families there is a dense set of fibres for which the integral points can be effectively…
We present a novel construction of recursion operators for scalar second-order integrable multidimensional PDEs with isospectral Lax pairs written in terms of first-order scalar differential operators. Our approach is quite straightforward…
We shall describe the divisor class group and the graded canonical module of the multi-section ring for a normal projective variety X and Weil divisors D_1,..., D_s on X under a mild condition. In the proof, we use the theory of Krull…
We study differential operators, whose coefficients define noncommutative algebras. As algebra of coefficients, we consider crossed products, corresponding to action of a discrete group on a smooth manifold. We give index formulas for…
\pkg{multiplex} is a computer program that provides algebraic tools for the analysis of multiple network structures within the \proglang{R} environment. Apart from the possibility to create and manipulate multivariate data representing…
A general scheme is proposed for introduction of lattice and q-difference variables to integrable hierarchies in frame of $\bar{\partial}$-dressing method . Using this scheme, lattice and q-difference Darboux-Zakharov-Manakov systems of…
B\'ezier curves provide the basic building blocks of graphic design in 2D. In this paper, we port B\'ezier curves to manifolds. We support the interactive drawing and editing of B\'ezier splines on manifold meshes with millions of…
We introduce the concept of rings of simple range 2. Based on this concept, we build a theory diagonal reduction of matrices over Bezout domain. In particular we show that invariant Bezout domain is an elementary divisor ring if and only if…
Although NP-Complete problems are the most difficult decisional problems, it is possible to discover in them polynomial (or easy) observables. We study the Graph Partitioning Problem showing that it is possible to recognize in it two…
We study differential operators on an elliptic curve of order higher than 2 which are algebraically integrable (i.e., finite gap). We discuss classification of such operators of order 3 with one pole, discovering exotic operators on special…
We review the problem of finding paths in Cayley graphs of groups and group actions, using the Rubik's cube as an example, and we list several more examples of significant mathematical interest. We then show how to formulate these problems…
Polynomial dynamical systems describing interacting particles in the plane are studied. A method replacing integration of a polynomial multi--particle dynamical system by finding polynomial solutions of a partial differential equations is…
A Maple package for computing Groebner bases of linear difference ideals is described. The underlying algorithm is based on Janet and Janet-like monomial divisions associated with finite difference operators. The package can be used, for…
We define the notion of Mumford divisors, argue that they are the natural divisors to study on reduced but non-normal varieties and prove a structure theorem for the Mumford class group. v.2: references added
On a projective complex manifold, the Abelian group of Divisors maps surjectively onto that of holomorphic line bundles (the Picard group). On a $G_2$-manifold we use coassociative submanifolds to define an analogue of the first, and a…
Queueing networks and Markov chains are widely used for conducting performance and reliability studies. In this paper we describe the queueing package, a free software package for queueing networks and Markov chain analysis for GNU Octave.…
Let $f:X \to S$ be a Galois cover of Riemann surfaces, with Galois group $G$. In this paper we analyze the $G$-invariant divisors on $X$, and their associated spaces of meromorphic functions, differentials, and $q$-differentials. We…
The publicly available package for an automated dipole subtraction, AutoDipole, is extended to include the SUSY dipoles in the MSSM. All fields in the SM and the MSSM are available. The code is checked against the analytical expressions for…