BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Magdaleen S. Marais

Magdaleen S. Marais appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ACmath.AGmath.RA

Catalog footprint

What is connected

5works
3topics
2close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2016arXiv

The Classification of Real Singularities Using SINGULAR. Part II: The Structure of the Equivalence Classes of the Unimodal Singularities

In the classification of real singularities by Arnold et al. (1985), normal forms, as representatives of equivalence classes under right equivalence, are not always uniquely determined. We describe the complete structure of the equivalence classes of the unimodal real singularities of corank 2. In other words, we explicitly answer the question which normal forms of different type are equivalent, and how a normal form can be transformed within the same equivalence class by changing the value of the parameter. This provides new theoretical insights into these singularities and has important consequences for their algorithmic classification.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Mora's holy grail: Algorithms for computing in localizations at prime ideals

This article discusses a computational treatment of the localization A_L of an affine coordinate ring A at a prime ideal L and its associated graded ring Gr_a(A_L) with the means of standard basis techniques. Building on Mora's work, we present alternative proofs on two of the central statements and expand on the applications mentioned by Mora: resolutions of ideals, systems of parameters and Hilbert polynomials, as well as dimension and regularity of A_L. All algorithms are implemented in the library graal.lib for the computer algebra system Singular.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The Classification of Real Singularities Using SINGULAR. Part I: Splitting Lemma and Simple Singularities

We present algorithms to classify isolated hypersurface singularities over the real numbers according to the classification by V.I. Arnold (Arnold et al., 1985). This first part covers the splitting lemma and the simple singularities; a second and a third part will be devoted to the unimodal singularities up to corank 2. All algorithms are implemented in the SINGULAR library realclassify.lib (Marais and Steenpass, 2012).

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On the centralizer of an $I$-matrix in $M_2(R/I)$, $I$ a principal ideal and $R$ a UFD

The concept of an $I$-matrix in the full $2\times 2$ matrix ring $M_2(R/I)$, where $R$ is an arbitrary UFD and $I$ is a nonzero ideal in $R$, was introduced in \cite{mar}. Moreover a concrete description of the centralizer of an $I$-matrix $\hat B$ in $M_2(R/I)$ as the sum of two subrings $\mathcal S_1$ and $\mathcal S_2$ of $M_2(R/I)$ was also given, where $\mathcal S_1$ is the image (under the natural epimorphism from $M_2(R)$ to $M_2(R/I)$) of the centralizer in $M_2(R)$ of a pre-image of $\hat B$, and where the entries in $\mathcal S_2$ are intersections of certain annihilators of elements arising from the entries of $\hat B$. In the present paper, we obtain results for the case when $I$ is a principal ideal $<k>$, $k\in R$ a nonzero nonunit. Mainly we solve two problems. Firstly we find necessary and sufficient conditions for when $\mathcal S_1\subseteq\mathcal S_2$, for when $\mathcal S_2\subseteq \mathcal S_1$ and for when $\mathcal S_1=\mathcal S_2$. Secondly we provide a formula for the number of elements in the centralizer of $\hat B$ for the case when $R/<k>$ is finite.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The centralizer of an $I$-matrix in $M_2(R/I)$, $R$ a UFD

The concept of an $I$-matrix in the full $2\times 2$ matrix ring $M_2(R/I)$, where $R$ is an arbitrary UFD and $I$ is a nonzero ideal in $R$, is introduced. We obtain a concrete description of the centralizer of an $I$-matrix $\hat B$ in $M_2(R/I)$ as the sum of two subrings $\mathcal S_1$ and $\mathcal S_2$ of $M_2(R/I)$, where $\mathcal S_1$ is the image (under the natural epimorphism from $M_2(R)$ to $M_2(R/I)$) of the centralizer in $M_2(R)$ of a pre-image of $\hat B$, and where the entries in $\mathcal S_2$ are intersections of certain annihilators of elements arising from the entries of $\hat B$. It turns out that if $R$ is a PID, then every matrix in $M_2(R/I)$ is an $I$-matrix. However, this is not the case if $R$ is a UFD in general. Moreover, for every factor ring $R/I$ with zero divisors and every $n\ge 3$ there is a matrix for which the mentioned concrete description is not valid.

0 citations0 reviewsNo code linkedOpen access