![]() |
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 4364 of file ring.cc.
TODO: rewrite somehow...
if m == var(i)/1 => return i,
Definition at line 5839 of file ring.cc.
Definition at line 5751 of file ring.cc.
Definition at line 5051 of file ring.cc.
makes sure that c/C ordering is last ordering
Definition at line 4708 of file ring.cc.
|
static |
Definition at line 4818 of file ring.cc.
Definition at line 4639 of file ring.cc.
Definition at line 4911 of file ring.cc.
Definition at line 4449 of file ring.cc.
makes sure that c/C ordering is last ordering and SyzIndex is first
Definition at line 4763 of file ring.cc.
Definition at line 4541 of file ring.cc.
Definition at line 4864 of file ring.cc.
Definition at line 4419 of file ring.cc.
TODO: make it a virtual method of coeffs, together with: Decompose & Compose, rParameter & rPar.
Definition at line 647 of file ring.cc.
Definition at line 3866 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 3464 of file ring.cc.
Definition at line 1421 of file ring.cc.
Definition at line 1564 of file ring.cc.
|
inlinestatic |
|
inlinestatic |
Definition at line 4407 of file ring.cc.
Definition at line 2052 of file ring.cc.
Definition at line 4136 of file ring.cc.
Definition at line 138 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 102 of file ring.cc.
Definition at line 155 of file ring.cc.
unconditionally deletes fields in r
Definition at line 450 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 1746 of file ring.cc.
Definition at line 2584 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 5066 of file ring.cc.
return the max-comonent wchich has syzIndex i Assume: i<= syzIndex_limit
Definition at line 5224 of file ring.cc.
rOrderType_t rGetOrderType | ( | ring | r | ) |
Definition at line 1840 of file ring.cc.
Definition at line 4428 of file ring.cc.
Definition at line 5829 of file ring.cc.
returns TRUE, if simple lp or ls ordering
Definition at line 1919 of file ring.cc.
< How many induced ordering block do we have?
Definition at line 2712 of file ring.cc.
ring rModifyRing_Simple | ( | ring | r, |
BOOLEAN | ommit_degree, | ||
BOOLEAN | ommit_comp, | ||
unsigned long | exp_limit, | ||
BOOLEAN & | simple | ||
) |
Definition at line 3007 of file ring.cc.
construct Wp, C ring
Definition at line 2959 of file ring.cc.
|
inlinestatic |
Definition at line 4381 of file ring.cc.
|
inlinestatic |
Definition at line 4389 of file ring.cc.
|
static |
Definition at line 2470 of file ring.cc.
|
static |
Definition at line 2493 of file ring.cc.
|
static |
|
static |
Definition at line 2390 of file ring.cc.
|
static |
Definition at line 2444 of file ring.cc.
|
static |
Definition at line 2429 of file ring.cc.
|
static |
Definition at line 2213 of file ring.cc.
|
static |
Definition at line 2227 of file ring.cc.
|
static |
Definition at line 2241 of file ring.cc.
|
static |
Definition at line 2303 of file ring.cc.
|
static |
Definition at line 2327 of file ring.cc.
|
static |
Definition at line 2281 of file ring.cc.
Definition at line 5347 of file ring.cc.
Definition at line 3164 of file ring.cc.
Definition at line 2026 of file ring.cc.
Definition at line 2033 of file ring.cc.
Definition at line 2013 of file ring.cc.
Definition at line 2041 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 521 of file ring.cc.
K[x],"y" -> K[x,y] resp. K[y,x].
Definition at line 5860 of file ring.cc.
Definition at line 5308 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 3191 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 5098 of file ring.cc.
Definition at line 3398 of file ring.cc.
Definition at line 3094 of file ring.cc.
Definition at line 5152 of file ring.cc.
set r->VarL_Size, r->VarL_Offset, r->VarL_LowIndex
Definition at line 4041 of file ring.cc.
Definition at line 673 of file ring.cc.
Definition at line 1402 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 749 of file ring.cc.
Definition at line 3979 of file ring.cc.
Definition at line 226 of file ring.cc.
Definition at line 47 of file ring.cc.