![]() |
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 4436 of file ring.cc.
TODO: rewrite somehow...
if m == var(i)/1 => return i,
Definition at line 5915 of file ring.cc.
Definition at line 5827 of file ring.cc.
Definition at line 5123 of file ring.cc.
makes sure that c/C ordering is last ordering
Definition at line 4780 of file ring.cc.
|
static |
Definition at line 4890 of file ring.cc.
Definition at line 4711 of file ring.cc.
Definition at line 4983 of file ring.cc.
Definition at line 4521 of file ring.cc.
makes sure that c/C ordering is last ordering and SyzIndex is first
Definition at line 4835 of file ring.cc.
Definition at line 4613 of file ring.cc.
Definition at line 4936 of file ring.cc.
Definition at line 4491 of file ring.cc.
TODO: make it a virtual method of coeffs, together with: Decompose & Compose, rParameter & rPar.
Definition at line 652 of file ring.cc.
Definition at line 3938 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 3520 of file ring.cc.
Definition at line 1426 of file ring.cc.
Definition at line 1569 of file ring.cc.
|
inlinestatic |
|
inlinestatic |
Definition at line 4479 of file ring.cc.
Definition at line 2091 of file ring.cc.
Definition at line 4208 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 454 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 1751 of file ring.cc.
Definition at line 2623 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 5138 of file ring.cc.
return the max-comonent wchich has syzIndex i Assume: i<= syzIndex_limit
Definition at line 5296 of file ring.cc.
rOrderType_t rGetOrderType | ( | ring | r | ) |
Definition at line 1845 of file ring.cc.
Definition at line 4500 of file ring.cc.
Definition at line 5905 of file ring.cc.
returns TRUE, if simple lp or ls ordering
Definition at line 1942 of file ring.cc.
< How many induced ordering block do we have?
Definition at line 2751 of file ring.cc.
ring rModifyRing_Simple | ( | ring | r, |
BOOLEAN | ommit_degree, | ||
BOOLEAN | ommit_comp, | ||
unsigned long | exp_limit, | ||
BOOLEAN & | simple | ||
) |
Definition at line 3046 of file ring.cc.
construct Wp, C ring
Definition at line 2998 of file ring.cc.
|
inlinestatic |
Definition at line 4453 of file ring.cc.
|
inlinestatic |
Definition at line 4461 of file ring.cc.
|
static |
Definition at line 2509 of file ring.cc.
|
static |
Definition at line 2532 of file ring.cc.
|
static |
|
static |
Definition at line 2429 of file ring.cc.
|
static |
Definition at line 2483 of file ring.cc.
|
static |
Definition at line 2468 of file ring.cc.
|
static |
Definition at line 2252 of file ring.cc.
|
static |
Definition at line 2266 of file ring.cc.
|
static |
Definition at line 2280 of file ring.cc.
|
static |
Definition at line 2342 of file ring.cc.
|
static |
Definition at line 2366 of file ring.cc.
|
static |
Definition at line 2320 of file ring.cc.
Definition at line 5419 of file ring.cc.
Definition at line 3204 of file ring.cc.
Definition at line 2049 of file ring.cc.
Definition at line 2059 of file ring.cc.
Definition at line 2069 of file ring.cc.
Definition at line 2036 of file ring.cc.
Definition at line 2080 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 526 of file ring.cc.
K[x],"y" -> K[x,y] resp. K[y,x].
Definition at line 5936 of file ring.cc.
Definition at line 5380 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 3248 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 5170 of file ring.cc.
Definition at line 3455 of file ring.cc.
Definition at line 3134 of file ring.cc.
Definition at line 5224 of file ring.cc.
set r->VarL_Size, r->VarL_Offset, r->VarL_LowIndex
Definition at line 4113 of file ring.cc.
Definition at line 678 of file ring.cc.
Definition at line 1407 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 754 of file ring.cc.
Definition at line 4051 of file ring.cc.
Definition at line 227 of file ring.cc.
Definition at line 47 of file ring.cc.