![]() |
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 ip_smatrix * | matrix |
typedef poly(* | mm_Mult_p_Proc_Ptr) (const poly m, poly p, const ring r) |
typedef poly(* | mm_Mult_pp_Proc_Ptr) (const poly m, const poly p, const ring r) |
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) |
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 More... | |
BOOLEAN | rIsLikeOpposite (ring rBase, ring rCandidate) |
checks whether rings rBase and rCandidate could be opposite to each other returns TRUE if it is so More... | |
void | nc_rKill (ring r) |
complete destructor More... | |
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 More... | |
poly | _nc_pp_Mult_qq (const poly p, const poly q, const ring r) |
general NC-multiplication without destruction More... | |
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 More... | |
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 More... | |
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 (kBucket_pt b, poly p, number *c) |
static void | nc_BucketPolyRed_Z (kBucket_pt b, poly p, number *c) |
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 More... | |
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! More... | |
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!) More... | |
ideal | idOppose (ring Rop_src, ideal I, const ring Rop_dst) |
opposes a module I from Rop to currRing(dst) More... | |
poly | p_Lcm (const poly a, const poly b, const long lCompM, const ring r) |
poly | p_Lcm (const poly a, const poly b, const ring r) |
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 | |
bucket_Proc_Ptr | BucketPolyRed_Z | |
void * | GB | From "gb_hack.h". |
mm_Mult_p_Proc_Ptr | mm_Mult_p | |
mm_Mult_pp_Proc_Ptr | mm_Mult_pp | |
SPolyReduce_Proc_Ptr | ReduceSPoly | |
SPoly_Proc_Ptr | SPoly |
typedef void(* bucket_Proc_Ptr) (kBucket_pt b, poly p, number *c) |
typedef ip_smatrix* matrix |
enum nc_type |
general NC-multiplication with destruction
Definition at line 274 of file old.gring.cc.
general NC-multiplication without destruction
Definition at line 313 of file old.gring.cc.
Definition at line 397 of file nc.h.
Definition at line 408 of file nc.h.
|
inlinestatic |
int& getNCExtensions | ( | ) |
Definition at line 88 of file old.gring.cc.
ideal idOppose | ( | ring | Rop_src, |
ideal | I, | ||
const ring | Rop_dst | ||
) |
opposes a module I from Rop to currRing(dst)
Definition at line 3466 of file old.gring.cc.
|
inlinestatic |
Definition at line 303 of file nc.h.
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 2747 of file old.gring.cc.
Definition at line 2633 of file old.gring.cc.
Definition at line 1939 of file old.gring.cc.
Definition at line 258 of file nc.h.
|
inlinestatic |
Definition at line 292 of file nc.h.
Definition at line 250 of file nc.h.
Definition at line 240 of file nc.h.
returns [p,q], destroys p
Definition at line 2308 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 209 of file old.gring.cc.
poly nc_p_Plus_mm_Mult_qq | ( | poly | p, |
const poly | m, | ||
const poly | q, | ||
int & | lp, | ||
const int | , | ||
const ring | r | ||
) |
Definition at line 227 of file old.gring.cc.
void nc_p_ProcsSet | ( | ring | rGR, |
p_Procs_s * | p_Procs | ||
) |
Definition at line 3264 of file old.gring.cc.
Definition at line 2295 of file old.gring.cc.
matrix nc_PrintMat | ( | int | a, |
int | b, | ||
ring | r, | ||
int | metric | ||
) |
returns matrix with the info on noncomm multiplication
Definition at line 2459 of file old.gring.cc.
substitute the n-th variable by e in p destroy p e is not a constant
Definition at line 3288 of file old.gring.cc.
Definition at line 5527 of file ring.cc.
bool nc_rCopy | ( | ring | res, |
const ring | r, | ||
bool | bSetupQuotient | ||
) |
Definition at line 3088 of file old.gring.cc.
Definition at line 271 of file nc.h.
void nc_rKill | ( | ring | r | ) |
complete destructor
Definition at line 2540 of file old.gring.cc.
Definition at line 3488 of file old.gring.cc.
bool ncExtensions | ( | int | iMask | ) |
Definition at line 100 of file old.gring.cc.
|
inlinestatic |
Definition at line 181 of file nc.h.
Definition at line 160 of file old.gring.cc.
Definition at line 188 of file old.gring.cc.
opposes a vector p from Rop to currRing (dst!)
Definition at line 3427 of file old.gring.cc.
BOOLEAN rIsLikeOpposite | ( | ring | rBase, |
ring | rCandidate | ||
) |
checks whether rings rBase and rCandidate could be opposite to each other returns TRUE if it is so
Definition at line 3400 of file old.gring.cc.
|
inlinestatic |
Definition at line 206 of file nc.h.
int setNCExtensions | ( | int | iMask | ) |
Definition at line 93 of file old.gring.cc.