![]() |
#include <misc/auxiliary.h>
#include "nc.h"
#include "sca.h"
#include "gb_hack.h"
#include <polys/monomials/ring.h>
#include <coeffs/numbers.h>
#include <misc/options.h>
#include <polys/monomials/p_polys.h>
#include <polys/simpleideals.h>
#include <polys/matpol.h>
#include <polys/kbuckets.h>
#include <polys/sbuckets.h>
#include <polys/prCopy.h>
#include <polys/operations/p_Mult_q.h>
#include "summator.h"
#include "ncSAMult.h"
#include "ncSAFormula.h"
Go to the source code of this file.
Macros | |
#define | MYTEST 0 |
#define | OUTPUT 0 |
#define | PLURAL_INTERNAL_DECLARATIONS |
#define | freeT(A, v) omFreeSize((ADDRESS)A,(v+1)*sizeof(int)) |
#define | freeN(A, k) omFreeSize((ADDRESS)A,k*sizeof(number)) |
Functions | |
static poly | NF_Proc_Dummy (ideal, ideal, poly, int, int, const ring) |
static ideal | BBA_Proc_Dummy (const ideal, const ideal, const intvec *, const intvec *, kStrategy, const ring) |
poly | nc_p_CopyGet (poly a, const ring r) |
poly | nc_p_CopyPut (poly a, const ring r) |
poly | nc_p_Bracket_qq (poly p, const poly q, const ring r) |
returns [p,q], destroys p More... | |
int & | getNCExtensions () |
int | setNCExtensions (int iMask) |
bool | ncExtensions (int iMask) |
poly | gnc_pp_Mult_mm (const poly p, const poly m, const ring r, poly &last) |
poly | gnc_p_Mult_mm (poly p, const poly m, const ring r) |
poly | gnc_mm_Mult_p (const poly m, poly p, const ring r) |
poly | gnc_mm_Mult_pp (const poly m, const poly p, const ring r) |
poly | gnc_CreateSpolyOld (const poly p1, const poly p2, const ring r) |
poly | gnc_ReduceSpolyOld (const poly p1, poly p2, const ring r) |
poly | gnc_CreateSpolyNew (const poly p1, const poly p2, const ring r) |
poly | gnc_ReduceSpolyNew (const poly p1, poly p2, const ring r) |
void | gnc_kBucketPolyRedNew (kBucket_pt b, poly p, number *c) |
void | gnc_kBucketPolyRed_ZNew (kBucket_pt b, poly p, number *c) |
void | gnc_kBucketPolyRedOld (kBucket_pt b, poly p, number *c) |
void | gnc_kBucketPolyRed_ZOld (kBucket_pt b, poly p, number *c) |
void | nc_CleanUp (nc_struct *p) |
void | nc_rCleanUp (ring r) |
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) |
poly | nc_p_Minus_mm_Mult_qq (poly p, const poly m, const poly q, int &shorter, 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) |
poly | _gnc_p_Mult_q (poly p, poly q, const int copy, const ring r) |
poly | _nc_p_Mult_q (poly pPolyP, poly pPolyQ, const ring rRing) |
general NC-multiplication with destruction More... | |
poly | _nc_pp_Mult_qq (const poly pPolyP, const poly pPolyQ, const ring rRing) |
general NC-multiplication without destruction More... | |
poly | gnc_mm_Mult_nn (int *F, int *G, const ring r) |
poly | gnc_mm_Mult_uu (int *F, int jG, int bG, const ring r) |
poly | gnc_uu_Mult_ww (int i, int a, int j, int b, const ring r) |
poly | gnc_p_Mult_mm_Common (poly p, const poly m, int side, const ring r) |
poly | gnc_pp_Mult_mm (const poly p, const poly m, const ring r) |
poly | gnc_uu_Mult_ww_vert (int i, int a, int j, int b, const ring r) |
static poly | gnc_uu_Mult_ww_formula (int i, int a, int j, int b, const ring r) |
poly | gnc_uu_Mult_ww_horvert (int i, int a, int j, int b, const ring r) |
poly | nc_CreateShortSpoly (poly p1, poly p2, const ring r) |
void | nc_PolyPolyRedOld (poly &b, poly p, number *c, const ring r) |
void | nc_PolyPolyRedNew (poly &b, poly p, number *c, const ring r) |
void | nc_PolyPolyRed (poly &b, poly p, number *c, const ring r) |
poly | nc_mm_Bracket_nn (poly m1, poly m2, const ring r) |
returns [m1,m2] for two monoms, destroys nothing without coeffs More... | |
matrix | nc_PrintMat (int a, int b, ring r, int metric) |
returns matrix with the info on noncomm multiplication More... | |
void | nc_CleanUp (ring r) |
void | nc_rKill (ring r) |
complete destructor More... | |
BOOLEAN | nc_CheckSubalgebra (poly PolyVar, ring r) |
BOOLEAN | gnc_CheckOrdCondition (matrix D, ring r) |
BOOLEAN | gnc_InitMultiplication (ring r, bool bSetupQuotient=false) |
BOOLEAN | nc_CallPlural (matrix CCC, matrix DDD, poly CCN, poly DDN, ring r, bool bSetupQuotient, bool bCopyInput, bool bBeQuiet, ring curr, bool dummy_ring) |
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_rCopy (ring res, const ring r, bool bSetupQuotient) |
static void | gnc_p_ProcsSet (ring rGR, p_Procs_s *p_Procs) |
void | nc_p_ProcsSet (ring rGR, p_Procs_s *p_Procs) |
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... | |
ring | nc_rCreateNCcomm (ring r) |
poly | p_CopyEmbed (poly p, ring srcRing, int shift, int, ring dstRing) |
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... | |
poly | pOppose (ring Rop, poly p, const ring dst) |
opposes a vector p from Rop to currRing (dst!) More... | |
ideal | idOppose (ring Rop, ideal I, const ring dst) |
opposes a module I from Rop to currRing(dst) More... | |
bool | nc_SetupQuotient (ring rGR, const ring rG, bool bCopy) |
Definition at line 107 of file old.gring.cc.
Definition at line 106 of file old.gring.cc.
#define MYTEST 0 |
Definition at line 11 of file old.gring.cc.
#define OUTPUT 0 |
Definition at line 12 of file old.gring.cc.
#define PLURAL_INTERNAL_DECLARATIONS |
Definition at line 26 of file old.gring.cc.
Definition at line 248 of file old.gring.cc.
general NC-multiplication with destruction
Definition at line 273 of file old.gring.cc.
general NC-multiplication without destruction
Definition at line 312 of file old.gring.cc.
|
static |
Definition at line 66 of file old.gring.cc.
int& getNCExtensions | ( | ) |
Definition at line 87 of file old.gring.cc.
Definition at line 2691 of file old.gring.cc.
Definition at line 1617 of file old.gring.cc.
Definition at line 1529 of file old.gring.cc.
Definition at line 3099 of file old.gring.cc.
void gnc_kBucketPolyRed_ZNew | ( | kBucket_pt | b, |
poly | p, | ||
number * | c | ||
) |
Definition at line 2125 of file old.gring.cc.
void gnc_kBucketPolyRed_ZOld | ( | kBucket_pt | b, |
poly | p, | ||
number * | c | ||
) |
Definition at line 2092 of file old.gring.cc.
void gnc_kBucketPolyRedNew | ( | kBucket_pt | b, |
poly | p, | ||
number * | c | ||
) |
Definition at line 2012 of file old.gring.cc.
void gnc_kBucketPolyRedOld | ( | kBucket_pt | b, |
poly | p, | ||
number * | c | ||
) |
Definition at line 1979 of file old.gring.cc.
Definition at line 472 of file old.gring.cc.
Definition at line 460 of file old.gring.cc.
Definition at line 465 of file old.gring.cc.
Definition at line 731 of file old.gring.cc.
Definition at line 455 of file old.gring.cc.
Definition at line 359 of file old.gring.cc.
|
inlinestatic |
Definition at line 3199 of file old.gring.cc.
Definition at line 450 of file old.gring.cc.
Definition at line 1456 of file old.gring.cc.
Definition at line 1400 of file old.gring.cc.
Definition at line 1097 of file old.gring.cc.
Definition at line 1064 of file old.gring.cc.
Definition at line 1202 of file old.gring.cc.
Definition at line 989 of file old.gring.cc.
ideal idOppose | ( | ring | Rop, |
ideal | I, | ||
const ring | dst | ||
) |
opposes a module I from Rop to currRing(dst)
Definition at line 3465 of file old.gring.cc.
BOOLEAN nc_CallPlural | ( | matrix | CCC, |
matrix | DDD, | ||
poly | CCN, | ||
poly | DDN, | ||
ring | r, | ||
bool | bSetupQuotient, | ||
bool | bCopyInput, | ||
bool | bBeQuiet, | ||
ring | curr, | ||
bool | dummy_ring | ||
) |
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 2746 of file old.gring.cc.
Definition at line 2632 of file old.gring.cc.
|
inline |
Definition at line 2525 of file old.gring.cc.
|
inline |
Definition at line 2531 of file old.gring.cc.
Definition at line 1938 of file old.gring.cc.
returns [m1,m2] for two monoms, destroys nothing without coeffs
Definition at line 2348 of file old.gring.cc.
returns [p,q], destroys p
Definition at line 2307 of file old.gring.cc.
Definition at line 2590 of file old.gring.cc.
Definition at line 2611 of file old.gring.cc.
poly nc_p_Minus_mm_Mult_qq | ( | poly | p, |
const poly | m, | ||
const poly | q, | ||
int & | shorter, | ||
const poly | , | ||
const ring | r | ||
) |
for p_Minus_mm_Mult_qq in pInline2.h
Definition at line 208 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 226 of file old.gring.cc.
void nc_p_ProcsSet | ( | ring | rGR, |
p_Procs_s * | p_Procs | ||
) |
Definition at line 3263 of file old.gring.cc.
Definition at line 2294 of file old.gring.cc.
Definition at line 2194 of file old.gring.cc.
Definition at line 2160 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 2458 of file old.gring.cc.
substitute the n-th variable by e in p destroy p e is not a constant
Definition at line 3287 of file old.gring.cc.
void nc_rCleanUp | ( | ring | r | ) |
bool nc_rCopy | ( | ring | res, |
const ring | r, | ||
bool | bSetupQuotient | ||
) |
Definition at line 3087 of file old.gring.cc.
ring nc_rCreateNCcomm | ( | ring | r | ) |
Definition at line 3338 of file old.gring.cc.
void nc_rKill | ( | ring | r | ) |
complete destructor
Definition at line 2539 of file old.gring.cc.
bool nc_SetupQuotient | ( | ring | rGR, |
const ring | rG, | ||
bool | bCopy | ||
) |
Definition at line 3487 of file old.gring.cc.
bool ncExtensions | ( | int | iMask | ) |
Definition at line 99 of file old.gring.cc.
Definition at line 64 of file old.gring.cc.
Definition at line 3362 of file old.gring.cc.
Definition at line 159 of file old.gring.cc.
Definition at line 187 of file old.gring.cc.
opposes a vector p from Rop to currRing (dst!)
Definition at line 3426 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 3399 of file old.gring.cc.
int setNCExtensions | ( | int | iMask | ) |
Definition at line 92 of file old.gring.cc.
BBA_Proc gnc_gr_bba =BBA_Proc_Dummy |
Definition at line 72 of file old.gring.cc.
BBA_Proc gnc_gr_mora =BBA_Proc_Dummy |
Definition at line 73 of file old.gring.cc.
int iNCExtensions = SCAMASK | NOFORMULAMASK |
Definition at line 85 of file old.gring.cc.
NF_Proc nc_NF =NF_Proc_Dummy |
Definition at line 71 of file old.gring.cc.
BBA_Proc sca_bba =BBA_Proc_Dummy |
Definition at line 74 of file old.gring.cc.
BBA_Proc sca_gr_bba =BBA_Proc_Dummy |
Definition at line 76 of file old.gring.cc.
BBA_Proc sca_mora =BBA_Proc_Dummy |
Definition at line 75 of file old.gring.cc.