![]() |
#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 | 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 195 of file old.gring.cc.
general NC-multiplication with destruction
Definition at line 220 of file old.gring.cc.
general NC-multiplication without destruction
Definition at line 259 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 2638 of file old.gring.cc.
Definition at line 1564 of file old.gring.cc.
Definition at line 1476 of file old.gring.cc.
Definition at line 3046 of file old.gring.cc.
void gnc_kBucketPolyRed_ZNew | ( | kBucket_pt | b, |
poly | p, | ||
number * | c | ||
) |
Definition at line 2072 of file old.gring.cc.
void gnc_kBucketPolyRed_ZOld | ( | kBucket_pt | b, |
poly | p, | ||
number * | c | ||
) |
Definition at line 2039 of file old.gring.cc.
void gnc_kBucketPolyRedNew | ( | kBucket_pt | b, |
poly | p, | ||
number * | c | ||
) |
Definition at line 1959 of file old.gring.cc.
void gnc_kBucketPolyRedOld | ( | kBucket_pt | b, |
poly | p, | ||
number * | c | ||
) |
Definition at line 1926 of file old.gring.cc.
Definition at line 419 of file old.gring.cc.
Definition at line 407 of file old.gring.cc.
Definition at line 412 of file old.gring.cc.
Definition at line 678 of file old.gring.cc.
Definition at line 402 of file old.gring.cc.
Definition at line 306 of file old.gring.cc.
|
inlinestatic |
Definition at line 3146 of file old.gring.cc.
Definition at line 397 of file old.gring.cc.
Definition at line 1403 of file old.gring.cc.
Definition at line 1347 of file old.gring.cc.
Definition at line 1044 of file old.gring.cc.
Definition at line 1011 of file old.gring.cc.
Definition at line 1149 of file old.gring.cc.
Definition at line 936 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 3412 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 2693 of file old.gring.cc.
Definition at line 2579 of file old.gring.cc.
|
inline |
Definition at line 2472 of file old.gring.cc.
|
inline |
Definition at line 2478 of file old.gring.cc.
Definition at line 1885 of file old.gring.cc.
returns [m1,m2] for two monoms, destroys nothing without coeffs
Definition at line 2295 of file old.gring.cc.
returns [p,q], destroys p
Definition at line 2254 of file old.gring.cc.
Definition at line 2537 of file old.gring.cc.
Definition at line 2558 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 155 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 173 of file old.gring.cc.
void nc_p_ProcsSet | ( | ring | rGR, |
p_Procs_s * | p_Procs | ||
) |
Definition at line 3210 of file old.gring.cc.
Definition at line 2241 of file old.gring.cc.
Definition at line 2141 of file old.gring.cc.
Definition at line 2107 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 2405 of file old.gring.cc.
substitute the n-th variable by e in p destroy p e is not a constant
Definition at line 3234 of file old.gring.cc.
void nc_rCleanUp | ( | ring | r | ) |
bool nc_rCopy | ( | ring | res, |
const ring | r, | ||
bool | bSetupQuotient | ||
) |
Definition at line 3034 of file old.gring.cc.
ring nc_rCreateNCcomm | ( | ring | r | ) |
Definition at line 3285 of file old.gring.cc.
void nc_rKill | ( | ring | r | ) |
complete destructor
Definition at line 2486 of file old.gring.cc.
bool nc_SetupQuotient | ( | ring | rGR, |
const ring | rG, | ||
bool | bCopy | ||
) |
Definition at line 3434 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 3309 of file old.gring.cc.
opposes a vector p from Rop to currRing (dst!)
Definition at line 3373 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 3346 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.