_

A binary operator which is used for various mathematical operations that are customarily written with subscripts.

This operator may be used as a binary operator in an expression like x _ y. The user may install binary methods for handling such expressions with code such as

              X _ Y := (x,y) -> ...

where X is the class of x and Y is the class of y.

Methods for _ :

(...) _ ZZ -- get element from list

{...} _ ZZ -- get element from list

ChainComplex _ Array

ChainComplex _ ZZ -- get component

ChainComplexMap _ Array

ChainComplexMap _ ZZ -- get component

EngineRing _ ZZ

Function _ Thing -- attach the first argument to a function of two or more arguments

GradedModule _ ZZ

GradedModuleMap _ Array

GradedModuleMap _ ZZ

Ideal _ {...} -- map from free module to some generators

Ideal _ ZZ

IndexedVariable _ GeneralOrderedMonoid

IndexedVariable _ Ring -- generator of a ring with a given name

IndexedVariableTable _ Thing

MarkUpList _ MarkUpList

Matrix _ (...) -- get an entry

Matrix _ [...] -- select some columns of blocks

Matrix _ {...} -- get some columns from a matrix

Matrix _ ZZ -- get a column from a matrix

Module _ [...] -- get inclusion map into direct sum

Module _ {...} -- map from free module to some generators

Module _ ZZ -- get a generator

Monoid _ List

Monoid _ ZZ -- get a generator of a monoid

MonoidElement _ GeneralOrderedMonoid

MonomialIdeal _ ZZ

PolynomialRing _ List

QQ _ Ring

QuotientRing _ String

Ring _ {...} -- make a monomial from a list of exponents

Ring _ String -- get a variable by name

Ring _ ZZ -- get a variable by number

RingElement _ {...}

RingElement _ MonoidElement

RingElement _ Ring -- generator of a ring with a given name

RingElement _ RingElement -- get a coefficient

RingElement _ ZZ

RR _ EngineRing

SchurRing _ {...} -- make an element of a Schur ring

ScriptedFunctor _ Thing

String _ Sequence

String _ ZZ

Symbol _ GeneralOrderedMonoid

Symbol _ Ring -- generator of a ring with a given name

Symbol _ Thing

Tally _ Thing -- get a count from a tally

Vector _ ZZ -- get a component

VisibleList _ {...} -- get some entries of a list

ZZ _ EngineRing

ZZ _ Module

ZZ _ Monoid -- get unit element

ZZ _ Ring