Package sagbi/SB.GetRing

From ApCoCoAWiki
< Package sagbi
Revision as of 13:56, 26 October 2020 by Andraschko (talk | contribs) (Created page with "{{Version|2}} <command> <title>SB.GetRing</title> <short_description>Returns the superring of a given subalgebra.</short_description> <syntax>SB.GetRing(S: TAGGED("$a...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
This article is about a function from ApCoCoA-2.

SB.GetRing

Returns the superring of a given subalgebra.

Syntax

SB.GetRing(S: TAGGED("$apcocoa/sagbi.Subalgebra")): RING

Description

This function returns the superring of a given subalgebra S, i.e. the ring R which S is a subalgebra of.

  • @param S A subalgebra

  • @return The superring of S

Example

Use R ::= QQ[x,y,z];
S := SB.Subalgebra(R,[x^2,y+z]);
PrintLn SB.GetRing(S);
-- RingWithID(1217, "QQ[x,y,z]") 

See also

Package sagbi/SB.GetID

Package sagbi/SB.GetGens

Package sagbi/SB.GetCoeffRing

Package sagbi/SB.GetSAGBI

Package sagbi/SB.GetTruncSAGBI

Package sagbi/SB.GetTruncDeg

Package sagbi/SB.GetLTSA

Package sagbi/SB.GetInDeg

Package sagbi/SB.GetHS