![]() |
My Project
|
Go to the source code of this file.
Data Structures | |
struct | nc_pProcs |
struct | nc_struct |
Macros | |
#define | UPMATELEM(i, j, nVar) ( (nVar * ((i)-1) - ((i) * ((i)-1))/2 + (j)-1)-(i) ) |
Typedefs | |
typedef poly(* | SPoly_Proc_Ptr) (const poly p1, const poly p2, const ring r) |
typedef poly(* | SPolyReduce_Proc_Ptr) (const poly p1, poly p2, const ring r) |
typedef void(* | bucket_Proc_Ptr) (kBucket_pt b, poly p, number *c, BOOLEAN reduce) |
Enumerations | |
enum | nc_type { nc_error = -1 , nc_general = 0 , nc_skew , nc_comm , nc_lie , nc_undef , nc_exterior } |
Functions | |
matrix | nc_PrintMat (int a, int b, ring r, int metric) |
returns matrix with the info on noncomm multiplication | |
BOOLEAN | rIsLikeOpposite (ring rBase, ring rCandidate) |
checks whether rings rBase and rCandidate could be opposite to each other returns TRUE if it is so | |
void | nc_rKill (ring r) |
complete destructor | |
BOOLEAN | nc_CheckSubalgebra (poly PolyVar, ring r) |
static nc_struct *& | GetNC (ring r) |
static nc_type & | ncRingType (nc_struct *p) |
static nc_type | ncRingType (ring r) |
static void | ncRingType (ring r, nc_type t) |
static void | ncRingType (nc_struct *p, nc_type t) |
static bool | rIsSCA (const ring r) |
poly | _nc_p_Mult_q (poly p, poly q, const ring r) |
general NC-multiplication with destruction | |
poly | _nc_pp_Mult_qq (const poly p, const poly q, const ring r) |
general NC-multiplication without destruction | |
poly | nc_p_Minus_mm_Mult_qq (poly p, const poly m, const poly q, int &lp, const poly, const ring r) |
for p_Minus_mm_Mult_qq in pInline2.h | |
poly | nc_p_Plus_mm_Mult_qq (poly p, const poly m, const poly q, int &lp, const int, const ring r) |
static poly | nc_mm_Mult_pp (const poly m, const poly p, const ring r) |
static poly | nc_mm_Mult_p (const poly m, poly p, const ring r) |
static poly | nc_CreateSpoly (const poly p1, const poly p2, const ring r) |
poly | nc_CreateShortSpoly (poly p1, poly p2, const ring r) |
poly | nc_p_Bracket_qq (poly p, const poly q, const ring r) |
returns [p,q], destroys p | |
static poly | nc_ReduceSpoly (const poly p1, poly p2, const ring r) |
void | nc_PolyPolyRed (poly &b, poly p, number *c, const ring r) |
static void | nc_kBucketPolyRed_NF (kBucket_pt b, poly p, number *c, BOOLEAN reduce) |
static void | nc_kBucketPolyRed_Z (kBucket_pt b, poly p, number *c, BOOLEAN reduce) |
poly | nc_pSubst (poly p, int n, poly e, const ring r) |
substitute the n-th variable by e in p destroy p e is not a constant | |
BOOLEAN | nc_CallPlural (matrix cc, matrix dd, poly cn, poly dn, ring r, bool bSetupQuotient, bool bCopyInput, bool bBeQuiet, ring curr, bool dummy_ring=false) |
returns TRUE if there were errors analyze inputs, check them for consistency detects nc_type, DO NOT initialize multiplication but call for it at the end checks the ordering condition and evtl. NDC NOTE: all the data belong to the curr, we change r which may be the same ring, and must have the same representation! | |
bool | nc_SetupQuotient (ring rGR, const ring rG=NULL, bool bCopy=false) |
BOOLEAN | nc_rComplete (const ring src, ring dest, bool bSetupQuotient=true) |
bool | nc_rCopy (ring res, const ring r, bool bSetupQuotient) |
poly | pOppose (ring Rop_src, poly p, const ring Rop_dst) |
opposes a vector p from Rop to currRing (dst!) | |
ideal | idOppose (ring Rop_src, ideal I, const ring Rop_dst) |
opposes a module I from Rop to currRing(dst) | |
int & | getNCExtensions () |
int | setNCExtensions (int iMask) |
bool | ncExtensions (int iMask) |
void | nc_p_ProcsSet (ring rGR, p_Procs_s *p_Procs) |
static poly | GetC (const ring r, int i, int j) |
static poly | GetD (const ring r, int i, int j) |
Variables | |
const int | GENERICMASK = 0x000 |
const int | SCAMASK = 0x001 |
const int | NOPLURALMASK = 0x002 |
const int | NOFORMULAMASK =0x004 |
const int | NOCACHEMASK = 0x008 |
const int | TESTSYZSCAMASK = 0x0100 | SCAMASK |
struct nc_pProcs |
Data Fields | ||
---|---|---|
bucket_Proc_Ptr | BucketPolyRed_NF | |
bucket_Proc_Ptr | BucketPolyRed_Z | |
void * | GB | From "gb_hack.h". |
SPolyReduce_Proc_Ptr | ReduceSPoly | |
SPoly_Proc_Ptr | SPoly |
general NC-multiplication with destruction
Definition at line 215 of file old.gring.cc.
general NC-multiplication without destruction
Definition at line 254 of file old.gring.cc.
Definition at line 362 of file nc.h.
int & getNCExtensions | ( | ) |
Definition at line 82 of file old.gring.cc.
opposes a module I from Rop to currRing(dst)
Definition at line 3363 of file old.gring.cc.
BOOLEAN nc_CallPlural | ( | matrix | cc, |
matrix | dd, | ||
poly | cn, | ||
poly | dn, | ||
ring | r, | ||
bool | bSetupQuotient, | ||
bool | bCopyInput, | ||
bool | bBeQuiet, | ||
ring | curr, | ||
bool | dummy_ring = false ) |
returns TRUE if there were errors analyze inputs, check them for consistency detects nc_type, DO NOT initialize multiplication but call for it at the end checks the ordering condition and evtl. NDC NOTE: all the data belong to the curr, we change r which may be the same ring, and must have the same representation!
Definition at line 2692 of file old.gring.cc.
Definition at line 2578 of file old.gring.cc.
Definition at line 1879 of file old.gring.cc.
|
inlinestatic |
Definition at line 275 of file nc.h.
|
inlinestatic |
returns [p,q], destroys p
Definition at line 2251 of file old.gring.cc.
poly nc_p_Minus_mm_Mult_qq | ( | poly | p, |
const poly | m, | ||
const poly | q, | ||
int & | lp, | ||
const poly | , | ||
const ring | r ) |
for p_Minus_mm_Mult_qq in pInline2.h
Definition at line 150 of file old.gring.cc.
Definition at line 3161 of file old.gring.cc.
Definition at line 2238 of file old.gring.cc.
returns matrix with the info on noncomm multiplication
Definition at line 2402 of file old.gring.cc.
substitute the n-th variable by e in p destroy p e is not a constant
Definition at line 3185 of file old.gring.cc.
Definition at line 5772 of file ring.cc.
Definition at line 2989 of file old.gring.cc.
complete destructor
Definition at line 2483 of file old.gring.cc.
Definition at line 3385 of file old.gring.cc.
Definition at line 94 of file old.gring.cc.
opposes a vector p from Rop to currRing (dst!)
Definition at line 3324 of file old.gring.cc.
checks whether rings rBase and rCandidate could be opposite to each other returns TRUE if it is so
Definition at line 3297 of file old.gring.cc.
Definition at line 87 of file old.gring.cc.