![]() |
#include <misc/auxiliary.h>
#include "nc.h"
#include "sca.h"
#include "gb_hack.h"
#include <polys/monomials/ring.h>
#include <coeffs/numbers.h>
#include <polys/coeffrings.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 _currRing) |
static ideal | BBA_Proc_Dummy (const ideal, const ideal, const intvec *, const intvec *, kStrategy strat, 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 108 of file old.gring.cc.
Definition at line 107 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 249 of file old.gring.cc.
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.
|
static |
Definition at line 67 of file old.gring.cc.
int& getNCExtensions | ( | ) |
Definition at line 88 of file old.gring.cc.
Definition at line 2692 of file old.gring.cc.
Definition at line 1618 of file old.gring.cc.
Definition at line 1530 of file old.gring.cc.
Definition at line 3100 of file old.gring.cc.
void gnc_kBucketPolyRed_ZNew | ( | kBucket_pt | b, |
poly | p, | ||
number * | c | ||
) |
Definition at line 2126 of file old.gring.cc.
void gnc_kBucketPolyRed_ZOld | ( | kBucket_pt | b, |
poly | p, | ||
number * | c | ||
) |
Definition at line 2093 of file old.gring.cc.
void gnc_kBucketPolyRedNew | ( | kBucket_pt | b, |
poly | p, | ||
number * | c | ||
) |
Definition at line 2013 of file old.gring.cc.
void gnc_kBucketPolyRedOld | ( | kBucket_pt | b, |
poly | p, | ||
number * | c | ||
) |
Definition at line 1980 of file old.gring.cc.
Definition at line 473 of file old.gring.cc.
Definition at line 461 of file old.gring.cc.
Definition at line 466 of file old.gring.cc.
Definition at line 732 of file old.gring.cc.
Definition at line 456 of file old.gring.cc.
Definition at line 360 of file old.gring.cc.
|
inlinestatic |
Definition at line 3200 of file old.gring.cc.
Definition at line 451 of file old.gring.cc.
Definition at line 1457 of file old.gring.cc.
Definition at line 1401 of file old.gring.cc.
Definition at line 1098 of file old.gring.cc.
Definition at line 1065 of file old.gring.cc.
Definition at line 1203 of file old.gring.cc.
Definition at line 990 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 3466 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 2747 of file old.gring.cc.
Definition at line 2633 of file old.gring.cc.
|
inline |
Definition at line 2526 of file old.gring.cc.
|
inline |
Definition at line 2532 of file old.gring.cc.
Definition at line 1939 of file old.gring.cc.
returns [m1,m2] for two monoms, destroys nothing without coeffs
Definition at line 2349 of file old.gring.cc.
returns [p,q], destroys p
Definition at line 2308 of file old.gring.cc.
Definition at line 2591 of file old.gring.cc.
Definition at line 2612 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 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.
Definition at line 2195 of file old.gring.cc.
Definition at line 2161 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.
void nc_rCleanUp | ( | ring | r | ) |
bool nc_rCopy | ( | ring | res, |
const ring | r, | ||
bool | bSetupQuotient | ||
) |
Definition at line 3088 of file old.gring.cc.
ring nc_rCreateNCcomm | ( | ring | r | ) |
Definition at line 3339 of file old.gring.cc.
void nc_rKill | ( | ring | r | ) |
complete destructor
Definition at line 2540 of file old.gring.cc.
bool nc_SetupQuotient | ( | ring | rGR, |
const ring | rG, | ||
bool | bCopy | ||
) |
Definition at line 3488 of file old.gring.cc.
bool ncExtensions | ( | int | iMask | ) |
Definition at line 100 of file old.gring.cc.
Definition at line 65 of file old.gring.cc.
Definition at line 3363 of file old.gring.cc.
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.
int setNCExtensions | ( | int | iMask | ) |
Definition at line 93 of file old.gring.cc.
BBA_Proc gnc_gr_bba =BBA_Proc_Dummy |
Definition at line 73 of file old.gring.cc.
BBA_Proc gnc_gr_mora =BBA_Proc_Dummy |
Definition at line 74 of file old.gring.cc.
int iNCExtensions = SCAMASK | NOFORMULAMASK |
Definition at line 86 of file old.gring.cc.
NF_Proc nc_NF =NF_Proc_Dummy |
Definition at line 72 of file old.gring.cc.
BBA_Proc sca_bba =BBA_Proc_Dummy |
Definition at line 75 of file old.gring.cc.
BBA_Proc sca_gr_bba =BBA_Proc_Dummy |
Definition at line 77 of file old.gring.cc.
BBA_Proc sca_mora =BBA_Proc_Dummy |
Definition at line 76 of file old.gring.cc.