![]() |
My Project
|
#include <cmath>
#include "misc/auxiliary.h"
#include "misc/mylimits.h"
#include "misc/options.h"
#include "misc/int64vec.h"
#include "coeffs/numbers.h"
#include "coeffs/coeffs.h"
#include "polys/monomials/p_polys.h"
#include "polys/simpleideals.h"
#include "polys/monomials/ring.h"
#include "polys/monomials/maps.h"
#include "polys/prCopy.h"
#include "polys/templates/p_Procs.h"
#include "polys/matpol.h"
#include "polys/nc/nc.h"
#include "polys/nc/sca.h"
#include "ext_fields/algext.h"
#include "ext_fields/transext.h"
#include <ctype.h>
Go to the source code of this file.
Macros | |
#define | BITS_PER_LONG 8*SIZEOF_LONG |
#define | MYTEST 0 |
#define | pFDeg_CASE(A) if(r->pFDeg == A) PrintS( "" #A "" ) |
#define | rOppVar(R, I) (rVar(R)+1-I) |
Typedefs | |
typedef char * | char_ptr |
Variables | |
VAR omBin | sip_sring_bin = omGetSpecBin(sizeof(ip_sring)) |
VAR omBin | char_ptr_bin = omGetSpecBin(sizeof(char_ptr)) |
static const char *const | ringorder_name [] |
VAR int | pDBsyzComp =0 |
#define BITS_PER_LONG 8*SIZEOF_LONG |
debug-print monomial poly/vector p, assuming that it lives in the ring R
Definition at line 4381 of file ring.cc.
TODO: rewrite somehow...
if m == var(i)/1 => return i,
Definition at line 5856 of file ring.cc.
Definition at line 5768 of file ring.cc.
Definition at line 5068 of file ring.cc.
makes sure that c/C ordering is last ordering
Definition at line 4725 of file ring.cc.
|
static |
Definition at line 4835 of file ring.cc.
Definition at line 4656 of file ring.cc.
Definition at line 4928 of file ring.cc.
Definition at line 4466 of file ring.cc.
makes sure that c/C ordering is last ordering and SyzIndex is first
Definition at line 4780 of file ring.cc.
Definition at line 4558 of file ring.cc.
Definition at line 4881 of file ring.cc.
Definition at line 4436 of file ring.cc.
TODO: make it a virtual method of coeffs, together with: Decompose & Compose, rParameter & rPar.
Definition at line 648 of file ring.cc.
Definition at line 3883 of file ring.cc.
this needs to be called whenever a new ring is created: new fields in ring are created (like VarOffset), unless they already exist with force == 1, new fields are always created (overwritten), even if they exist
Definition at line 3465 of file ring.cc.
Definition at line 1422 of file ring.cc.
Definition at line 1565 of file ring.cc.
|
inlinestatic |
|
inlinestatic |
Definition at line 4424 of file ring.cc.
Definition at line 2053 of file ring.cc.
Definition at line 4153 of file ring.cc.
Definition at line 139 of file ring.cc.
ring rDefault | ( | const coeffs | cf, |
int | N, | ||
char ** | n, | ||
int | ord_size, | ||
rRingOrder_t * | ord, | ||
int * | block0, | ||
int * | block1, | ||
int ** | wvhdl, | ||
unsigned long | bitmask | ||
) |
Definition at line 103 of file ring.cc.
Definition at line 156 of file ring.cc.
unconditionally deletes fields in r
Definition at line 451 of file ring.cc.
returns TRUE, if r1 equals r2 FALSE, otherwise Equality is determined componentwise, if qr == 1, then qrideal equality is tested, as well
Definition at line 1747 of file ring.cc.
Definition at line 2585 of file ring.cc.
Finds p^th IS ordering, and returns its position in r->typ[] returns -1 if something went wrong! p - starts with 0!
return the position of the p^th IS block order block in r->typ[]...
Definition at line 5083 of file ring.cc.
return the max-comonent wchich has syzIndex i Assume: i<= syzIndex_limit
Definition at line 5241 of file ring.cc.
rOrderType_t rGetOrderType | ( | ring | r | ) |
Definition at line 1841 of file ring.cc.
Definition at line 4445 of file ring.cc.
Definition at line 5846 of file ring.cc.
returns TRUE, if simple lp or ls ordering
Definition at line 1920 of file ring.cc.
< How many induced ordering block do we have?
Definition at line 2713 of file ring.cc.
ring rModifyRing_Simple | ( | ring | r, |
BOOLEAN | ommit_degree, | ||
BOOLEAN | ommit_comp, | ||
unsigned long | exp_limit, | ||
BOOLEAN & | simple | ||
) |
Definition at line 3008 of file ring.cc.
construct Wp, C ring
Definition at line 2960 of file ring.cc.
|
inlinestatic |
Definition at line 4398 of file ring.cc.
|
inlinestatic |
Definition at line 4406 of file ring.cc.
|
static |
Definition at line 2471 of file ring.cc.
|
static |
Definition at line 2494 of file ring.cc.
|
static |
|
static |
Definition at line 2391 of file ring.cc.
|
static |
Definition at line 2445 of file ring.cc.
|
static |
Definition at line 2430 of file ring.cc.
|
static |
Definition at line 2214 of file ring.cc.
|
static |
Definition at line 2228 of file ring.cc.
|
static |
Definition at line 2242 of file ring.cc.
|
static |
Definition at line 2304 of file ring.cc.
|
static |
Definition at line 2328 of file ring.cc.
|
static |
Definition at line 2282 of file ring.cc.
Definition at line 5364 of file ring.cc.
Definition at line 3165 of file ring.cc.
Definition at line 2027 of file ring.cc.
Definition at line 2034 of file ring.cc.
Definition at line 2014 of file ring.cc.
Definition at line 2042 of file ring.cc.
BOOLEAN rOrder_is_DegOrdering | ( | const rRingOrder_t | order | ) |
BOOLEAN rOrder_is_WeightedOrdering | ( | rRingOrder_t | order | ) |
rRingOrder_t rOrderName | ( | char * | ordername | ) |
Definition at line 522 of file ring.cc.
K[x],"y" -> K[x,y] resp. K[y,x].
Definition at line 5877 of file ring.cc.
Definition at line 5325 of file ring.cc.
right-adjust r->VarOffset
returns TRUE, if r1 and r2 represents the monomials in the same way FALSE, otherwise this is an analogue to rEqual but not so strict
Definition at line 3192 of file ring.cc.
|
static |
Changes r by setting induced ordering parameters: limit and reference leading terms F belong to r, we will DO a copy! We will use it AS IS! returns true is everything was allright!
Definition at line 5115 of file ring.cc.
Definition at line 3399 of file ring.cc.
Definition at line 3095 of file ring.cc.
Definition at line 5169 of file ring.cc.
set r->VarL_Size, r->VarL_Offset, r->VarL_LowIndex
Definition at line 4058 of file ring.cc.
Definition at line 674 of file ring.cc.
Definition at line 1403 of file ring.cc.
returns -1 for not compatible, 1 for compatible (and sum) dp_dp:0: block ordering, 1: dp,dp, 2: aa(...),dp vartest: check for name conflicts
Definition at line 750 of file ring.cc.
Definition at line 3996 of file ring.cc.
Definition at line 227 of file ring.cc.
Definition at line 47 of file ring.cc.