![]() |
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 4397 of file ring.cc.
TODO: rewrite somehow...
if m == var(i)/1 => return i,
Definition at line 5876 of file ring.cc.
Definition at line 5788 of file ring.cc.
Definition at line 5084 of file ring.cc.
makes sure that c/C ordering is last ordering
Definition at line 4741 of file ring.cc.
|
static |
Definition at line 4851 of file ring.cc.
Definition at line 4672 of file ring.cc.
Definition at line 4944 of file ring.cc.
Definition at line 4482 of file ring.cc.
makes sure that c/C ordering is last ordering and SyzIndex is first
Definition at line 4796 of file ring.cc.
Definition at line 4574 of file ring.cc.
Definition at line 4897 of file ring.cc.
Definition at line 4452 of file ring.cc.
TODO: make it a virtual method of coeffs, together with: Decompose & Compose, rParameter & rPar.
Definition at line 650 of file ring.cc.
Definition at line 3899 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 3481 of file ring.cc.
Definition at line 1424 of file ring.cc.
Definition at line 1567 of file ring.cc.
|
inlinestatic |
|
inlinestatic |
Definition at line 4440 of file ring.cc.
Definition at line 2071 of file ring.cc.
Definition at line 4169 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 452 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 1749 of file ring.cc.
Definition at line 2603 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 5099 of file ring.cc.
return the max-comonent wchich has syzIndex i Assume: i<= syzIndex_limit
Definition at line 5257 of file ring.cc.
rOrderType_t rGetOrderType | ( | ring | r | ) |
Definition at line 1843 of file ring.cc.
Definition at line 4461 of file ring.cc.
Definition at line 5866 of file ring.cc.
returns TRUE, if simple lp or ls ordering
Definition at line 1922 of file ring.cc.
< How many induced ordering block do we have?
Definition at line 2731 of file ring.cc.
ring rModifyRing_Simple | ( | ring | r, |
BOOLEAN | ommit_degree, | ||
BOOLEAN | ommit_comp, | ||
unsigned long | exp_limit, | ||
BOOLEAN & | simple | ||
) |
Definition at line 3026 of file ring.cc.
construct Wp, C ring
Definition at line 2978 of file ring.cc.
|
inlinestatic |
Definition at line 4414 of file ring.cc.
|
inlinestatic |
Definition at line 4422 of file ring.cc.
|
static |
Definition at line 2489 of file ring.cc.
|
static |
Definition at line 2512 of file ring.cc.
|
static |
|
static |
Definition at line 2409 of file ring.cc.
|
static |
Definition at line 2463 of file ring.cc.
|
static |
Definition at line 2448 of file ring.cc.
|
static |
Definition at line 2232 of file ring.cc.
|
static |
Definition at line 2246 of file ring.cc.
|
static |
Definition at line 2260 of file ring.cc.
|
static |
Definition at line 2322 of file ring.cc.
|
static |
Definition at line 2346 of file ring.cc.
|
static |
Definition at line 2300 of file ring.cc.
Definition at line 5380 of file ring.cc.
Definition at line 3183 of file ring.cc.
Definition at line 2029 of file ring.cc.
Definition at line 2039 of file ring.cc.
Definition at line 2049 of file ring.cc.
Definition at line 2016 of file ring.cc.
Definition at line 2060 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 524 of file ring.cc.
K[x],"y" -> K[x,y] resp. K[y,x].
Definition at line 5897 of file ring.cc.
Definition at line 5341 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 3210 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 alright!
Definition at line 5131 of file ring.cc.
Definition at line 3417 of file ring.cc.
Definition at line 3113 of file ring.cc.
Definition at line 5185 of file ring.cc.
set r->VarL_Size, r->VarL_Offset, r->VarL_LowIndex
Definition at line 4074 of file ring.cc.
Definition at line 676 of file ring.cc.
Definition at line 1405 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 752 of file ring.cc.
Definition at line 4012 of file ring.cc.
Definition at line 227 of file ring.cc.
Definition at line 47 of file ring.cc.