/* handler for function 6 */
static Obj HdlrFunc6 (
Obj self )
{
Obj t_1 = 0;
Bag oldFrame;
/* allocate new stack frame */
SWITCH_TO_NEW_FRAME(self,0,0,oldFrame);
/* f1( 2 ); */
t_1 = GF_f1;
CALL_1ARGS( t_1, INTOBJ_INT(2) );
/* f2( 2, 3 ); */
t_1 = GF_f2;
CALL_2ARGS( t_1, INTOBJ_INT(2), INTOBJ_INT(3) );
/* f3( ); */
t_1 = GF_f3;
CALL_0ARGS( t_1 );
/* f3( 2 ); */
t_1 = GF_f3;
CALL_1ARGS( t_1, INTOBJ_INT(2) );
/* f3( 2, 3, 4 ); */
t_1 = GF_f3;
CALL_3ARGS( t_1, INTOBJ_INT(2), INTOBJ_INT(3), INTOBJ_INT(4) );
/* f4( 1 ); */
t_1 = GF_f4;
CALL_1ARGS( t_1, INTOBJ_INT(1) );
/* f4( 1, 2 ); */
t_1 = GF_f4;
CALL_2ARGS( t_1, INTOBJ_INT(1), INTOBJ_INT(2) );
/* f4( 1, 2, 3 ); */
t_1 = GF_f4;
CALL_3ARGS( t_1, INTOBJ_INT(1), INTOBJ_INT(2), INTOBJ_INT(3) );
/* return; */
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
/* return; */
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
}
Obj GAP_CallFuncArray(Obj func, UInt narg, Obj args[])
{
Obj result;
Obj list;
if (TNUM_OBJ(func) == T_FUNCTION) {
// call the function
switch (narg) {
case 0:
result = CALL_0ARGS(func);
break;
case 1:
result = CALL_1ARGS(func, args[0]);
break;
case 2:
result = CALL_2ARGS(func, args[0], args[1]);
break;
case 3:
result = CALL_3ARGS(func, args[0], args[1], args[2]);
break;
case 4:
result = CALL_4ARGS(func, args[0], args[1], args[2], args[3]);
break;
case 5:
result =
CALL_5ARGS(func, args[0], args[1], args[2], args[3], args[4]);
break;
case 6:
result = CALL_6ARGS(func, args[0], args[1], args[2], args[3],
args[4], args[5]);
break;
default:
list = NewPlistFromArray(args, narg);
result = CALL_XARGS(func, list);
}
}
else {
list = NewPlistFromArray(args, narg);
result = DoOperation2Args(CallFuncListOper, func, list);
}
return result;
}
/**
Convert a GAP finite field element object to a GAP integer object. This
simply calls the GAP function \c INTFFE().
*/
Obj IntObj_FFEObj(Obj o)
{
return CALL_1ARGS(GF_IntFFE, o);
}
/* handler for function 3 */
static Obj HdlrFunc3 (
Obj self,
Obj a_flags )
{
Obj l_with = 0;
Obj l_changed = 0;
Obj l_imp = 0;
Obj l_hash = 0;
Obj l_hash2 = 0;
Obj l_i = 0;
Obj t_1 = 0;
Obj t_2 = 0;
Obj t_3 = 0;
Obj t_4 = 0;
Obj t_5 = 0;
Obj t_6 = 0;
Obj t_7 = 0;
Obj t_8 = 0;
Obj t_9 = 0;
Obj t_10 = 0;
Obj t_11 = 0;
Bag oldFrame;
OLD_BRK_CURR_STAT
/* allocate new stack frame */
SWITCH_TO_NEW_FRAME(self,0,0,oldFrame);
REM_BRK_CURR_STAT();
SET_BRK_CURR_STAT(0);
/* hash := HASH_FLAGS( flags ) mod 11001; */
t_3 = GF_HASH__FLAGS;
t_2 = CALL_1ARGS( t_3, a_flags );
CHECK_FUNC_RESULT( t_2 )
t_1 = MOD( t_2, INTOBJ_INT(11001) );
l_hash = t_1;
/* for i in [ 0 .. 3 ] do */
for ( t_1 = INTOBJ_INT(0);
((Int)t_1) <= ((Int)INTOBJ_INT(3));
t_1 = (Obj)(((UInt)t_1)+4) ) {
l_i = t_1;
/* hash2 := 2 * ((hash + 31 * i) mod 11001) + 1; */
C_PROD_INTOBJS( t_6, INTOBJ_INT(31), l_i )
C_SUM_FIA( t_5, l_hash, t_6 )
t_4 = MOD( t_5, INTOBJ_INT(11001) );
C_PROD_FIA( t_3, INTOBJ_INT(2), t_4 )
C_SUM_FIA( t_2, t_3, INTOBJ_INT(1) )
l_hash2 = t_2;
/* if IsBound( WITH_IMPS_FLAGS_CACHE[hash2] ) then */
t_4 = GC_WITH__IMPS__FLAGS__CACHE;
CHECK_BOUND( t_4, "WITH_IMPS_FLAGS_CACHE" )
CHECK_INT_POS( l_hash2 )
t_3 = C_ISB_LIST( t_4, l_hash2 );
t_2 = (Obj)(UInt)(t_3 != False);
if ( t_2 ) {
/* if IS_IDENTICAL_OBJ( WITH_IMPS_FLAGS_CACHE[hash2], flags ) then */
t_4 = GF_IS__IDENTICAL__OBJ;
t_6 = GC_WITH__IMPS__FLAGS__CACHE;
CHECK_BOUND( t_6, "WITH_IMPS_FLAGS_CACHE" )
C_ELM_LIST_FPL( t_5, t_6, l_hash2 )
t_3 = CALL_2ARGS( t_4, t_5, a_flags );
CHECK_FUNC_RESULT( t_3 )
CHECK_BOOL( t_3 )
t_2 = (Obj)(UInt)(t_3 != False);
if ( t_2 ) {
/* WITH_IMPS_FLAGS_CACHE_HIT := WITH_IMPS_FLAGS_CACHE_HIT + 1; */
t_3 = GC_WITH__IMPS__FLAGS__CACHE__HIT;
CHECK_BOUND( t_3, "WITH_IMPS_FLAGS_CACHE_HIT" )
C_SUM_FIA( t_2, t_3, INTOBJ_INT(1) )
AssGVar( G_WITH__IMPS__FLAGS__CACHE__HIT, t_2 );
/* return WITH_IMPS_FLAGS_CACHE[hash2 + 1]; */
t_3 = GC_WITH__IMPS__FLAGS__CACHE;
CHECK_BOUND( t_3, "WITH_IMPS_FLAGS_CACHE" )
C_SUM_FIA( t_4, l_hash2, INTOBJ_INT(1) )
CHECK_INT_POS( t_4 )
C_ELM_LIST_FPL( t_2, t_3, t_4 )
RES_BRK_CURR_STAT();
SWITCH_TO_OLD_FRAME(oldFrame);
return t_2;
}
/* fi */
}
/* else */
else {
/* break; */
break;
}
/* fi */
}
/* od */
/* if i = 3 then */
t_1 = (Obj)(UInt)(((Int)l_i) == ((Int)INTOBJ_INT(3)));
if ( t_1 ) {
/* WITH_IMPS_FLAGS_COUNT := (WITH_IMPS_FLAGS_COUNT + 1) mod 4; */
t_3 = GC_WITH__IMPS__FLAGS__COUNT;
CHECK_BOUND( t_3, "WITH_IMPS_FLAGS_COUNT" )
C_SUM_FIA( t_2, t_3, INTOBJ_INT(1) )
t_1 = MOD( t_2, INTOBJ_INT(4) );
AssGVar( G_WITH__IMPS__FLAGS__COUNT, t_1 );
/* i := WITH_IMPS_FLAGS_COUNT; */
t_1 = GC_WITH__IMPS__FLAGS__COUNT;
CHECK_BOUND( t_1, "WITH_IMPS_FLAGS_COUNT" )
l_i = t_1;
/* hash2 := 2 * ((hash + 31 * i) mod 11001) + 1; */
C_PROD_FIA( t_5, INTOBJ_INT(31), l_i )
C_SUM_FIA( t_4, l_hash, t_5 )
t_3 = MOD( t_4, INTOBJ_INT(11001) );
C_PROD_FIA( t_2, INTOBJ_INT(2), t_3 )
C_SUM_FIA( t_1, t_2, INTOBJ_INT(1) )
l_hash2 = t_1;
}
/* fi */
/* WITH_IMPS_FLAGS_CACHE_MISS := WITH_IMPS_FLAGS_CACHE_MISS + 1; */
t_2 = GC_WITH__IMPS__FLAGS__CACHE__MISS;
CHECK_BOUND( t_2, "WITH_IMPS_FLAGS_CACHE_MISS" )
C_SUM_FIA( t_1, t_2, INTOBJ_INT(1) )
AssGVar( G_WITH__IMPS__FLAGS__CACHE__MISS, t_1 );
/* with := flags; */
l_with = a_flags;
/* changed := true; */
t_1 = True;
l_changed = t_1;
/* while changed od */
while ( 1 ) {
t_1 = (Obj)(UInt)(l_changed != False);
if ( ! t_1 ) break;
/* changed := false; */
t_1 = False;
l_changed = t_1;
/* for imp in IMPLICATIONS do */
t_4 = GC_IMPLICATIONS;
CHECK_BOUND( t_4, "IMPLICATIONS" )
if ( IS_SMALL_LIST(t_4) ) {
t_3 = (Obj)(UInt)1;
t_1 = INTOBJ_INT(1);
}
else {
t_3 = (Obj)(UInt)0;
t_1 = CALL_1ARGS( GF_ITERATOR, t_4 );
}
while ( 1 ) {
if ( t_3 ) {
if ( LEN_LIST(t_4) < INT_INTOBJ(t_1) ) break;
t_2 = ELMV0_LIST( t_4, INT_INTOBJ(t_1) );
t_1 = (Obj)(((UInt)t_1)+4);
if ( t_2 == 0 ) continue;
}
else {
if ( CALL_1ARGS( GF_IS_DONE_ITER, t_1 ) != False ) break;
t_2 = CALL_1ARGS( GF_NEXT_ITER, t_1 );
}
l_imp = t_2;
/* if IS_SUBSET_FLAGS( with, imp[2] ) and not IS_SUBSET_FLAGS( with, imp[1] ) then */
t_8 = GF_IS__SUBSET__FLAGS;
C_ELM_LIST_FPL( t_9, l_imp, INTOBJ_INT(2) )
t_7 = CALL_2ARGS( t_8, l_with, t_9 );
CHECK_FUNC_RESULT( t_7 )
CHECK_BOOL( t_7 )
t_6 = (Obj)(UInt)(t_7 != False);
t_5 = t_6;
if ( t_5 ) {
t_10 = GF_IS__SUBSET__FLAGS;
C_ELM_LIST_FPL( t_11, l_imp, INTOBJ_INT(1) )
t_9 = CALL_2ARGS( t_10, l_with, t_11 );
CHECK_FUNC_RESULT( t_9 )
CHECK_BOOL( t_9 )
t_8 = (Obj)(UInt)(t_9 != False);
t_7 = (Obj)(UInt)( ! ((Int)t_8) );
t_5 = t_7;
}
if ( t_5 ) {
/* with := AND_FLAGS( with, imp[1] ); */
t_6 = GF_AND__FLAGS;
C_ELM_LIST_FPL( t_7, l_imp, INTOBJ_INT(1) )
t_5 = CALL_2ARGS( t_6, l_with, t_7 );
CHECK_FUNC_RESULT( t_5 )
l_with = t_5;
/* changed := true; */
t_5 = True;
l_changed = t_5;
}
/* fi */
}
/* od */
}
/* od */
/* WITH_IMPS_FLAGS_CACHE[hash2] := flags; */
t_1 = GC_WITH__IMPS__FLAGS__CACHE;
CHECK_BOUND( t_1, "WITH_IMPS_FLAGS_CACHE" )
CHECK_INT_POS( l_hash2 )
C_ASS_LIST_FPL( t_1, l_hash2, a_flags )
/* WITH_IMPS_FLAGS_CACHE[hash2 + 1] := with; */
t_1 = GC_WITH__IMPS__FLAGS__CACHE;
CHECK_BOUND( t_1, "WITH_IMPS_FLAGS_CACHE" )
C_SUM_FIA( t_2, l_hash2, INTOBJ_INT(1) )
CHECK_INT_POS( t_2 )
C_ASS_LIST_FPL( t_1, t_2, l_with )
/* return with; */
RES_BRK_CURR_STAT();
SWITCH_TO_OLD_FRAME(oldFrame);
return l_with;
/* return; */
RES_BRK_CURR_STAT();
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
}
/* handler for function 1 */
static Obj HdlrFunc1 (
Obj self )
{
Obj t_1 = 0;
Obj t_2 = 0;
Obj t_3 = 0;
Obj t_4 = 0;
Bag oldFrame;
OLD_BRK_CURR_STAT
/* allocate new stack frame */
SWITCH_TO_NEW_FRAME(self,0,0,oldFrame);
REM_BRK_CURR_STAT();
SET_BRK_CURR_STAT(0);
/* WITH_HIDDEN_IMPS_FLAGS_COUNT := 0; */
AssGVar( G_WITH__HIDDEN__IMPS__FLAGS__COUNT, INTOBJ_INT(0) );
/* WITH_HIDDEN_IMPS_FLAGS_CACHE_MISS := 0; */
AssGVar( G_WITH__HIDDEN__IMPS__FLAGS__CACHE__MISS, INTOBJ_INT(0) );
/* WITH_HIDDEN_IMPS_FLAGS_CACHE_HIT := 0; */
AssGVar( G_WITH__HIDDEN__IMPS__FLAGS__CACHE__HIT, INTOBJ_INT(0) );
/* IMPLICATIONS := [ ]; */
t_1 = NEW_PLIST( T_PLIST, 0 );
SET_LEN_PLIST( t_1, 0 );
AssGVar( G_IMPLICATIONS, t_1 );
/* WITH_IMPS_FLAGS_CACHE := [ ]; */
t_1 = NEW_PLIST( T_PLIST, 0 );
SET_LEN_PLIST( t_1, 0 );
AssGVar( G_WITH__IMPS__FLAGS__CACHE, t_1 );
/* WITH_IMPS_FLAGS_COUNT := 0; */
AssGVar( G_WITH__IMPS__FLAGS__COUNT, INTOBJ_INT(0) );
/* WITH_IMPS_FLAGS_CACHE_HIT := 0; */
AssGVar( G_WITH__IMPS__FLAGS__CACHE__HIT, INTOBJ_INT(0) );
/* WITH_IMPS_FLAGS_CACHE_MISS := 0; */
AssGVar( G_WITH__IMPS__FLAGS__CACHE__MISS, INTOBJ_INT(0) );
/* Unbind( CLEAR_IMP_CACHE ); */
AssGVar( G_CLEAR__IMP__CACHE, 0 );
/* BIND_GLOBAL( "CLEAR_IMP_CACHE", function ( )
WITH_IMPS_FLAGS_CACHE := [ ];
return;
end ); */
t_1 = GF_BIND__GLOBAL;
C_NEW_STRING( t_2, 15, "CLEAR_IMP_CACHE" );
t_3 = NewFunction( NameFunc[2], NargFunc[2], NamsFunc[2], HdlrFunc2 );
ENVI_FUNC( t_3 ) = TLS(CurrLVars);
t_4 = NewBag( T_BODY, NUMBER_HEADER_ITEMS_BODY*sizeof(Obj) );
STARTLINE_BODY(t_4) = INTOBJ_INT(39);
ENDLINE_BODY(t_4) = INTOBJ_INT(41);
FILENAME_BODY(t_4) = FileName;
BODY_FUNC(t_3) = t_4;
CHANGED_BAG( TLS(CurrLVars) );
CALL_2ARGS( t_1, t_2, t_3 );
/* BIND_GLOBAL( "WITH_IMPS_FLAGS", function ( flags )
local with, changed, imp, hash, hash2, i;
hash := HASH_FLAGS( flags ) mod 11001;
for i in [ 0 .. 3 ] do
hash2 := 2 * ((hash + 31 * i) mod 11001) + 1;
if IsBound( WITH_IMPS_FLAGS_CACHE[hash2] ) then
if IS_IDENTICAL_OBJ( WITH_IMPS_FLAGS_CACHE[hash2], flags ) then
WITH_IMPS_FLAGS_CACHE_HIT := WITH_IMPS_FLAGS_CACHE_HIT + 1;
return WITH_IMPS_FLAGS_CACHE[hash2 + 1];
fi;
else
break;
fi;
od;
if i = 3 then
WITH_IMPS_FLAGS_COUNT := (WITH_IMPS_FLAGS_COUNT + 1) mod 4;
i := WITH_IMPS_FLAGS_COUNT;
hash2 := 2 * ((hash + 31 * i) mod 11001) + 1;
fi;
WITH_IMPS_FLAGS_CACHE_MISS := WITH_IMPS_FLAGS_CACHE_MISS + 1;
with := flags;
changed := true;
while changed do
changed := false;
for imp in IMPLICATIONS do
if IS_SUBSET_FLAGS( with, imp[2] ) and not IS_SUBSET_FLAGS( with, imp[1] ) then
with := AND_FLAGS( with, imp[1] );
changed := true;
fi;
od;
od;
WITH_IMPS_FLAGS_CACHE[hash2] := flags;
WITH_IMPS_FLAGS_CACHE[hash2 + 1] := with;
return with;
end ); */
t_1 = GF_BIND__GLOBAL;
C_NEW_STRING( t_2, 15, "WITH_IMPS_FLAGS" );
t_3 = NewFunction( NameFunc[3], NargFunc[3], NamsFunc[3], HdlrFunc3 );
ENVI_FUNC( t_3 ) = TLS(CurrLVars);
t_4 = NewBag( T_BODY, NUMBER_HEADER_ITEMS_BODY*sizeof(Obj) );
STARTLINE_BODY(t_4) = INTOBJ_INT(44);
ENDLINE_BODY(t_4) = INTOBJ_INT(83);
FILENAME_BODY(t_4) = FileName;
BODY_FUNC(t_3) = t_4;
CHANGED_BAG( TLS(CurrLVars) );
CALL_2ARGS( t_1, t_2, t_3 );
/* UNBIND_GLOBAL( "RANK_FILTER" ); */
t_1 = GF_UNBIND__GLOBAL;
C_NEW_STRING( t_2, 11, "RANK_FILTER" );
CALL_1ARGS( t_1, t_2 );
/* BIND_GLOBAL( "RANK_FILTER", function ( filter )
local rank, flags, i;
rank := 0;
if IS_FUNCTION( filter ) then
flags := FLAGS_FILTER( filter );
else
flags := filter;
fi;
for i in TRUES_FLAGS( WITH_HIDDEN_IMPS_FLAGS( flags ) ) do
if IsBound( RANK_FILTERS[i] ) then
rank := rank + RANK_FILTERS[i];
else
rank := rank + 1;
fi;
od;
return rank;
end ); */
t_1 = GF_BIND__GLOBAL;
C_NEW_STRING( t_2, 11, "RANK_FILTER" );
t_3 = NewFunction( NameFunc[4], NargFunc[4], NamsFunc[4], HdlrFunc4 );
ENVI_FUNC( t_3 ) = TLS(CurrLVars);
t_4 = NewBag( T_BODY, NUMBER_HEADER_ITEMS_BODY*sizeof(Obj) );
STARTLINE_BODY(t_4) = INTOBJ_INT(97);
ENDLINE_BODY(t_4) = INTOBJ_INT(114);
FILENAME_BODY(t_4) = FileName;
BODY_FUNC(t_3) = t_4;
CHANGED_BAG( TLS(CurrLVars) );
CALL_2ARGS( t_1, t_2, t_3 );
/* RankFilter := RANK_FILTER; */
t_1 = GC_RANK__FILTER;
CHECK_BOUND( t_1, "RANK_FILTER" )
AssGVar( G_RankFilter, t_1 );
/* UNBIND_GLOBAL( "RANK_FILTER_STORE" ); */
t_1 = GF_UNBIND__GLOBAL;
C_NEW_STRING( t_2, 17, "RANK_FILTER_STORE" );
CALL_1ARGS( t_1, t_2 );
/* BIND_GLOBAL( "RANK_FILTER_STORE", function ( filter )
local hash, rank, flags;
if IS_FUNCTION( filter ) then
flags := FLAGS_FILTER( filter );
else
flags := filter;
fi;
hash := HASH_FLAGS( flags );
rank := RANK_FILTER( flags );
ADD_LIST( RANK_FILTER_LIST_CURRENT, hash );
ADD_LIST( RANK_FILTER_LIST_CURRENT, rank );
return rank;
end ); */
t_1 = GF_BIND__GLOBAL;
C_NEW_STRING( t_2, 17, "RANK_FILTER_STORE" );
t_3 = NewFunction( NameFunc[5], NargFunc[5], NamsFunc[5], HdlrFunc5 );
ENVI_FUNC( t_3 ) = TLS(CurrLVars);
t_4 = NewBag( T_BODY, NUMBER_HEADER_ITEMS_BODY*sizeof(Obj) );
STARTLINE_BODY(t_4) = INTOBJ_INT(119);
ENDLINE_BODY(t_4) = INTOBJ_INT(133);
FILENAME_BODY(t_4) = FileName;
BODY_FUNC(t_3) = t_4;
CHANGED_BAG( TLS(CurrLVars) );
CALL_2ARGS( t_1, t_2, t_3 );
/* UNBIND_GLOBAL( "RANK_FILTER_COMPLETION" ); */
t_1 = GF_UNBIND__GLOBAL;
C_NEW_STRING( t_2, 22, "RANK_FILTER_COMPLETION" );
CALL_1ARGS( t_1, t_2 );
/* BIND_GLOBAL( "RANK_FILTER_COMPLETION", function ( filter )
local hash, flags;
if IS_FUNCTION( filter ) then
flags := FLAGS_FILTER( filter );
else
flags := filter;
fi;
hash := HASH_FLAGS( flags );
if hash <> RANK_FILTER_LIST[RANK_FILTER_COUNT] then
Error( "corrupted completion file" );
fi;
RANK_FILTER_COUNT := RANK_FILTER_COUNT + 2;
return RANK_FILTER_LIST[RANK_FILTER_COUNT - 1];
end ); */
t_1 = GF_BIND__GLOBAL;
C_NEW_STRING( t_2, 22, "RANK_FILTER_COMPLETION" );
t_3 = NewFunction( NameFunc[6], NargFunc[6], NamsFunc[6], HdlrFunc6 );
ENVI_FUNC( t_3 ) = TLS(CurrLVars);
t_4 = NewBag( T_BODY, NUMBER_HEADER_ITEMS_BODY*sizeof(Obj) );
STARTLINE_BODY(t_4) = INTOBJ_INT(136);
ENDLINE_BODY(t_4) = INTOBJ_INT(151);
FILENAME_BODY(t_4) = FileName;
BODY_FUNC(t_3) = t_4;
CHANGED_BAG( TLS(CurrLVars) );
CALL_2ARGS( t_1, t_2, t_3 );
/* return; */
RES_BRK_CURR_STAT();
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
/* return; */
RES_BRK_CURR_STAT();
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
}
/* handler for function 6 */
static Obj HdlrFunc6 (
Obj self,
Obj a_filter )
{
Obj l_hash = 0;
Obj l_flags = 0;
Obj t_1 = 0;
Obj t_2 = 0;
Obj t_3 = 0;
Obj t_4 = 0;
Bag oldFrame;
OLD_BRK_CURR_STAT
/* allocate new stack frame */
SWITCH_TO_NEW_FRAME(self,0,0,oldFrame);
REM_BRK_CURR_STAT();
SET_BRK_CURR_STAT(0);
/* if IS_FUNCTION( filter ) then */
t_3 = GF_IS__FUNCTION;
t_2 = CALL_1ARGS( t_3, a_filter );
CHECK_FUNC_RESULT( t_2 )
CHECK_BOOL( t_2 )
t_1 = (Obj)(UInt)(t_2 != False);
if ( t_1 ) {
/* flags := FLAGS_FILTER( filter ); */
t_2 = GF_FLAGS__FILTER;
t_1 = CALL_1ARGS( t_2, a_filter );
CHECK_FUNC_RESULT( t_1 )
l_flags = t_1;
}
/* else */
else {
/* flags := filter; */
l_flags = a_filter;
}
/* fi */
/* hash := HASH_FLAGS( flags ); */
t_2 = GF_HASH__FLAGS;
t_1 = CALL_1ARGS( t_2, l_flags );
CHECK_FUNC_RESULT( t_1 )
l_hash = t_1;
/* if hash <> RANK_FILTER_LIST[RANK_FILTER_COUNT] then */
t_3 = GC_RANK__FILTER__LIST;
CHECK_BOUND( t_3, "RANK_FILTER_LIST" )
t_4 = GC_RANK__FILTER__COUNT;
CHECK_BOUND( t_4, "RANK_FILTER_COUNT" )
CHECK_INT_POS( t_4 )
C_ELM_LIST_FPL( t_2, t_3, t_4 )
t_1 = (Obj)(UInt)( ! EQ( l_hash, t_2 ));
if ( t_1 ) {
/* Error( "corrupted completion file" ); */
t_1 = GF_Error;
C_NEW_STRING( t_2, 25, "corrupted completion file" );
CALL_1ARGS( t_1, t_2 );
}
/* fi */
/* RANK_FILTER_COUNT := RANK_FILTER_COUNT + 2; */
t_2 = GC_RANK__FILTER__COUNT;
CHECK_BOUND( t_2, "RANK_FILTER_COUNT" )
C_SUM_FIA( t_1, t_2, INTOBJ_INT(2) )
AssGVar( G_RANK__FILTER__COUNT, t_1 );
/* return RANK_FILTER_LIST[RANK_FILTER_COUNT - 1]; */
t_2 = GC_RANK__FILTER__LIST;
CHECK_BOUND( t_2, "RANK_FILTER_LIST" )
t_4 = GC_RANK__FILTER__COUNT;
CHECK_BOUND( t_4, "RANK_FILTER_COUNT" )
C_DIFF_FIA( t_3, t_4, INTOBJ_INT(1) )
CHECK_INT_POS( t_3 )
C_ELM_LIST_FPL( t_1, t_2, t_3 )
RES_BRK_CURR_STAT();
SWITCH_TO_OLD_FRAME(oldFrame);
return t_1;
/* return; */
RES_BRK_CURR_STAT();
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
}
/* handler for function 5 */
static Obj HdlrFunc5 (
Obj self,
Obj a_filter )
{
Obj l_hash = 0;
Obj l_rank = 0;
Obj l_flags = 0;
Obj t_1 = 0;
Obj t_2 = 0;
Obj t_3 = 0;
Bag oldFrame;
OLD_BRK_CURR_STAT
/* allocate new stack frame */
SWITCH_TO_NEW_FRAME(self,0,0,oldFrame);
REM_BRK_CURR_STAT();
SET_BRK_CURR_STAT(0);
/* if IS_FUNCTION( filter ) then */
t_3 = GF_IS__FUNCTION;
t_2 = CALL_1ARGS( t_3, a_filter );
CHECK_FUNC_RESULT( t_2 )
CHECK_BOOL( t_2 )
t_1 = (Obj)(UInt)(t_2 != False);
if ( t_1 ) {
/* flags := FLAGS_FILTER( filter ); */
t_2 = GF_FLAGS__FILTER;
t_1 = CALL_1ARGS( t_2, a_filter );
CHECK_FUNC_RESULT( t_1 )
l_flags = t_1;
}
/* else */
else {
/* flags := filter; */
l_flags = a_filter;
}
/* fi */
/* hash := HASH_FLAGS( flags ); */
t_2 = GF_HASH__FLAGS;
t_1 = CALL_1ARGS( t_2, l_flags );
CHECK_FUNC_RESULT( t_1 )
l_hash = t_1;
/* rank := RANK_FILTER( flags ); */
t_2 = GF_RANK__FILTER;
t_1 = CALL_1ARGS( t_2, l_flags );
CHECK_FUNC_RESULT( t_1 )
l_rank = t_1;
/* ADD_LIST( RANK_FILTER_LIST_CURRENT, hash ); */
t_1 = GF_ADD__LIST;
t_2 = GC_RANK__FILTER__LIST__CURRENT;
CHECK_BOUND( t_2, "RANK_FILTER_LIST_CURRENT" )
CALL_2ARGS( t_1, t_2, l_hash );
/* ADD_LIST( RANK_FILTER_LIST_CURRENT, rank ); */
t_1 = GF_ADD__LIST;
t_2 = GC_RANK__FILTER__LIST__CURRENT;
CHECK_BOUND( t_2, "RANK_FILTER_LIST_CURRENT" )
CALL_2ARGS( t_1, t_2, l_rank );
/* return rank; */
RES_BRK_CURR_STAT();
SWITCH_TO_OLD_FRAME(oldFrame);
return l_rank;
/* return; */
RES_BRK_CURR_STAT();
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
}
/* handler for function 4 */
static Obj HdlrFunc4 (
Obj self,
Obj a_filter )
{
Obj l_rank = 0;
Obj l_flags = 0;
Obj l_i = 0;
Obj t_1 = 0;
Obj t_2 = 0;
Obj t_3 = 0;
Obj t_4 = 0;
Obj t_5 = 0;
Obj t_6 = 0;
Obj t_7 = 0;
Bag oldFrame;
OLD_BRK_CURR_STAT
/* allocate new stack frame */
SWITCH_TO_NEW_FRAME(self,0,0,oldFrame);
REM_BRK_CURR_STAT();
SET_BRK_CURR_STAT(0);
/* rank := 0; */
l_rank = INTOBJ_INT(0);
/* if IS_FUNCTION( filter ) then */
t_3 = GF_IS__FUNCTION;
t_2 = CALL_1ARGS( t_3, a_filter );
CHECK_FUNC_RESULT( t_2 )
CHECK_BOOL( t_2 )
t_1 = (Obj)(UInt)(t_2 != False);
if ( t_1 ) {
/* flags := FLAGS_FILTER( filter ); */
t_2 = GF_FLAGS__FILTER;
t_1 = CALL_1ARGS( t_2, a_filter );
CHECK_FUNC_RESULT( t_1 )
l_flags = t_1;
}
/* else */
else {
/* flags := filter; */
l_flags = a_filter;
}
/* fi */
/* for i in TRUES_FLAGS( WITH_HIDDEN_IMPS_FLAGS( flags ) ) do */
t_5 = GF_TRUES__FLAGS;
t_7 = GF_WITH__HIDDEN__IMPS__FLAGS;
t_6 = CALL_1ARGS( t_7, l_flags );
CHECK_FUNC_RESULT( t_6 )
t_4 = CALL_1ARGS( t_5, t_6 );
CHECK_FUNC_RESULT( t_4 )
if ( IS_SMALL_LIST(t_4) ) {
t_3 = (Obj)(UInt)1;
t_1 = INTOBJ_INT(1);
}
else {
t_3 = (Obj)(UInt)0;
t_1 = CALL_1ARGS( GF_ITERATOR, t_4 );
}
while ( 1 ) {
if ( t_3 ) {
if ( LEN_LIST(t_4) < INT_INTOBJ(t_1) ) break;
t_2 = ELMV0_LIST( t_4, INT_INTOBJ(t_1) );
t_1 = (Obj)(((UInt)t_1)+4);
if ( t_2 == 0 ) continue;
}
else {
if ( CALL_1ARGS( GF_IS_DONE_ITER, t_1 ) != False ) break;
t_2 = CALL_1ARGS( GF_NEXT_ITER, t_1 );
}
l_i = t_2;
/* if IsBound( RANK_FILTERS[i] ) then */
t_7 = GC_RANK__FILTERS;
CHECK_BOUND( t_7, "RANK_FILTERS" )
CHECK_INT_POS( l_i )
t_6 = C_ISB_LIST( t_7, l_i );
t_5 = (Obj)(UInt)(t_6 != False);
if ( t_5 ) {
/* rank := rank + RANK_FILTERS[i]; */
t_7 = GC_RANK__FILTERS;
CHECK_BOUND( t_7, "RANK_FILTERS" )
C_ELM_LIST_FPL( t_6, t_7, l_i )
C_SUM_FIA( t_5, l_rank, t_6 )
l_rank = t_5;
}
/* else */
else {
/* rank := rank + 1; */
C_SUM_FIA( t_5, l_rank, INTOBJ_INT(1) )
l_rank = t_5;
}
/* fi */
}
/* od */
/* return rank; */
RES_BRK_CURR_STAT();
SWITCH_TO_OLD_FRAME(oldFrame);
return l_rank;
/* return; */
RES_BRK_CURR_STAT();
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
}
/* handler for function 2 */
static Obj HdlrFunc2 (
Obj self )
{
Obj t_1 = 0;
Obj t_2 = 0;
Obj t_3 = 0;
Bag oldFrame;
/* allocate new stack frame */
SWITCH_TO_NEW_FRAME(self,0,0,oldFrame);
/* Print( AssertionLevel( ), "\n" ); */
t_1 = GF_Print;
t_3 = GF_AssertionLevel;
t_2 = CALL_0ARGS( t_3 );
CHECK_FUNC_RESULT( t_2 )
t_3 = MakeString( "\n" );
CALL_2ARGS( t_1, t_2, t_3 );
/* Assert( ... ); */
if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(1)) ) {
t_2 = False;
t_1 = (Obj)(UInt)(t_2 != False);
if ( ! t_1 ) {
t_2 = MakeString( "fail-A" );
if ( t_2 != (Obj)(UInt)0 ){
if ( IS_STRING_REP ( t_2 ) )
PrintString1( t_2);
else
PrintObj(t_2);
}
}
}
/* Assert( ... ); */
if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(1)) ) {
t_2 = False;
t_1 = (Obj)(UInt)(t_2 != False);
if ( ! t_1 ) {
ErrorReturnVoid("Assertion failure",0L,0L,"you may 'return;'");
}
}
/* Assert( ... ); */
if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(0)) ) {
t_2 = True;
t_1 = (Obj)(UInt)(t_2 != False);
if ( ! t_1 ) {
t_2 = MakeString( "fail-B" );
if ( t_2 != (Obj)(UInt)0 ){
if ( IS_STRING_REP ( t_2 ) )
PrintString1( t_2);
else
PrintObj(t_2);
}
}
}
/* Assert( ... ); */
if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(0)) ) {
t_2 = True;
t_1 = (Obj)(UInt)(t_2 != False);
if ( ! t_1 ) {
ErrorReturnVoid("Assertion failure",0L,0L,"you may 'return;'");
}
}
/* SetAssertionLevel( 2 ); */
t_1 = GF_SetAssertionLevel;
CALL_1ARGS( t_1, INTOBJ_INT(2) );
/* Print( AssertionLevel( ), "\n" ); */
t_1 = GF_Print;
t_3 = GF_AssertionLevel;
t_2 = CALL_0ARGS( t_3 );
CHECK_FUNC_RESULT( t_2 )
t_3 = MakeString( "\n" );
CALL_2ARGS( t_1, t_2, t_3 );
/* Assert( ... ); */
if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(3)) ) {
t_2 = False;
t_1 = (Obj)(UInt)(t_2 != False);
if ( ! t_1 ) {
t_2 = MakeString( "fail-C" );
if ( t_2 != (Obj)(UInt)0 ){
if ( IS_STRING_REP ( t_2 ) )
PrintString1( t_2);
else
PrintObj(t_2);
}
}
}
/* Assert( ... ); */
if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(3)) ) {
t_2 = False;
t_1 = (Obj)(UInt)(t_2 != False);
if ( ! t_1 ) {
ErrorReturnVoid("Assertion failure",0L,0L,"you may 'return;'");
}
}
/* Assert( ... ); */
if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(2)) ) {
t_2 = True;
t_1 = (Obj)(UInt)(t_2 != False);
if ( ! t_1 ) {
t_2 = MakeString( "fail-D" );
if ( t_2 != (Obj)(UInt)0 ){
if ( IS_STRING_REP ( t_2 ) )
PrintString1( t_2);
else
PrintObj(t_2);
}
}
}
/* Assert( ... ); */
if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(2)) ) {
t_2 = True;
t_1 = (Obj)(UInt)(t_2 != False);
if ( ! t_1 ) {
ErrorReturnVoid("Assertion failure",0L,0L,"you may 'return;'");
}
}
/* Assert( ... ); */
if ( ! LT(CurrentAssertionLevel, INTOBJ_INT(2)) ) {
t_2 = False;
t_1 = (Obj)(UInt)(t_2 != False);
if ( ! t_1 ) {
t_2 = MakeString( "pass!\n" );
if ( t_2 != (Obj)(UInt)0 ){
if ( IS_STRING_REP ( t_2 ) )
PrintString1( t_2);
else
PrintObj(t_2);
}
}
}
/* Print( "end of function\n" ); */
t_1 = GF_Print;
t_2 = MakeString( "end of function\n" );
CALL_1ARGS( t_1, t_2 );
/* return; */
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
/* return; */
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
}
/* handler for function 2 */
static Obj HdlrFunc2 (
Obj self,
Obj a_filter )
{
Obj l_i = 0;
Obj l_flags = 0;
Obj t_1 = 0;
Obj t_2 = 0;
Obj t_3 = 0;
Obj t_4 = 0;
Obj t_5 = 0;
Obj t_6 = 0;
Obj t_7 = 0;
Obj t_8 = 0;
Obj t_9 = 0;
Obj t_10 = 0;
Bag oldFrame;
OLD_BRK_CURR_STAT
/* allocate new stack frame */
SWITCH_TO_NEW_FRAME(self,0,0,oldFrame);
REM_BRK_CURR_STAT();
SET_BRK_CURR_STAT(0);
/* flags := FLAGS_FILTER( filter ); */
t_2 = GF_FLAGS__FILTER;
t_1 = CALL_1ARGS( t_2, a_filter );
CHECK_FUNC_RESULT( t_1 )
l_flags = t_1;
/* for i in [ 1, 3 .. LEN_LIST( WITH_HIDDEN_IMPS_FLAGS_CACHE ) - 1 ] do */
t_7 = GF_LEN__LIST;
t_8 = GC_WITH__HIDDEN__IMPS__FLAGS__CACHE;
CHECK_BOUND( t_8, "WITH_HIDDEN_IMPS_FLAGS_CACHE" )
t_6 = CALL_1ARGS( t_7, t_8 );
CHECK_FUNC_RESULT( t_6 )
C_DIFF_FIA( t_5, t_6, INTOBJ_INT(1) )
t_4 = Range3Check( INTOBJ_INT(1), INTOBJ_INT(3), t_5 );
if ( IS_SMALL_LIST(t_4) ) {
t_3 = (Obj)(UInt)1;
t_1 = INTOBJ_INT(1);
}
else {
t_3 = (Obj)(UInt)0;
t_1 = CALL_1ARGS( GF_ITERATOR, t_4 );
}
while ( 1 ) {
if ( t_3 ) {
if ( LEN_LIST(t_4) < INT_INTOBJ(t_1) ) break;
t_2 = ELMV0_LIST( t_4, INT_INTOBJ(t_1) );
t_1 = (Obj)(((UInt)t_1)+4);
if ( t_2 == 0 ) continue;
}
else {
if ( CALL_1ARGS( GF_IS_DONE_ITER, t_1 ) != False ) break;
t_2 = CALL_1ARGS( GF_NEXT_ITER, t_1 );
}
l_i = t_2;
/* if IsBound( WITH_HIDDEN_IMPS_FLAGS_CACHE[i] ) then */
t_7 = GC_WITH__HIDDEN__IMPS__FLAGS__CACHE;
CHECK_BOUND( t_7, "WITH_HIDDEN_IMPS_FLAGS_CACHE" )
CHECK_INT_POS( l_i )
t_6 = C_ISB_LIST( t_7, l_i );
t_5 = (Obj)(UInt)(t_6 != False);
if ( t_5 ) {
/* if IS_SUBSET_FLAGS( WITH_HIDDEN_IMPS_FLAGS_CACHE[i + 1], flags ) then */
t_7 = GF_IS__SUBSET__FLAGS;
t_9 = GC_WITH__HIDDEN__IMPS__FLAGS__CACHE;
CHECK_BOUND( t_9, "WITH_HIDDEN_IMPS_FLAGS_CACHE" )
C_SUM_FIA( t_10, l_i, INTOBJ_INT(1) )
CHECK_INT_POS( t_10 )
C_ELM_LIST_FPL( t_8, t_9, t_10 )
t_6 = CALL_2ARGS( t_7, t_8, l_flags );
CHECK_FUNC_RESULT( t_6 )
CHECK_BOOL( t_6 )
t_5 = (Obj)(UInt)(t_6 != False);
if ( t_5 ) {
/* Unbind( WITH_HIDDEN_IMPS_FLAGS_CACHE[i] ); */
t_5 = GC_WITH__HIDDEN__IMPS__FLAGS__CACHE;
CHECK_BOUND( t_5, "WITH_HIDDEN_IMPS_FLAGS_CACHE" )
C_UNB_LIST( t_5, l_i );
/* Unbind( WITH_HIDDEN_IMPS_FLAGS_CACHE[i + 1] ); */
t_5 = GC_WITH__HIDDEN__IMPS__FLAGS__CACHE;
CHECK_BOUND( t_5, "WITH_HIDDEN_IMPS_FLAGS_CACHE" )
C_SUM_FIA( t_6, l_i, INTOBJ_INT(1) )
CHECK_INT_POS( t_6 )
C_UNB_LIST( t_5, t_6 );
}
/* fi */
}
/* fi */
}
/* od */
/* return; */
RES_BRK_CURR_STAT();
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
/* return; */
RES_BRK_CURR_STAT();
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
}
Obj boyers_planarity_check(Obj digraph, int flags, bool krtwsk) {
DIGRAPHS_ASSERT(flags == EMBEDFLAGS_PLANAR || flags == EMBEDFLAGS_OUTERPLANAR
|| flags == EMBEDFLAGS_SEARCHFORK23
|| flags == EMBEDFLAGS_SEARCHFORK4
|| flags == EMBEDFLAGS_SEARCHFORK33);
if (CALL_1ARGS(IsDigraph, digraph) != True) {
ErrorQuit("Digraphs: boyers_planarity_check (C): the 1st argument must be "
"a digraph, not %s",
(Int) TNAM_OBJ(digraph),
0L);
}
Obj const out = FuncOutNeighbours(0L, digraph);
if (FuncIS_ANTISYMMETRIC_DIGRAPH(0L, out) != True) {
ErrorQuit("Digraphs: boyers_planarity_check (C): the 1st argument must be "
"an antisymmetric digraph",
0L,
0L);
}
Int V = DigraphNrVertices(digraph);
Int E = DigraphNrEdges(digraph);
if (V > INT_MAX) {
// Cannot currently test this, it might always be true, depending on the
// definition of Int.
ErrorQuit("Digraphs: boyers_planarity_check (C): the maximum number of "
"nodes is %d, found %d",
INT_MAX,
V);
return 0L;
} else if (2 * E > INT_MAX) {
// Cannot currently test this
ErrorQuit("Digraphs: boyers_planarity_check (C): the maximum number of "
"edges is %d, found %d",
INT_MAX / 2,
E);
return 0L;
}
graphP theGraph = gp_New();
switch (flags) {
case EMBEDFLAGS_SEARCHFORK33:
gp_AttachK33Search(theGraph);
break;
case EMBEDFLAGS_SEARCHFORK23:
gp_AttachK23Search(theGraph);
break;
case EMBEDFLAGS_SEARCHFORK4:
gp_AttachK4Search(theGraph);
break;
}
if (gp_InitGraph(theGraph, V) != OK) {
gp_Free(&theGraph);
ErrorQuit("Digraphs: boyers_planarity_check (C): invalid number of nodes!",
0L,
0L);
return 0L;
} else if (gp_EnsureArcCapacity(theGraph, 2 * E) != OK) {
gp_Free(&theGraph);
ErrorQuit("Digraphs: boyers_planarity_check (C): invalid number of edges!",
0L,
0L);
return 0L;
}
int status;
for (Int v = 1; v <= LEN_LIST(out); ++v) {
DIGRAPHS_ASSERT(gp_VertexInRange(theGraph, v));
gp_SetVertexIndex(theGraph, v, v);
Obj const out_v = ELM_LIST(out, v);
for (Int w = 1; w <= LEN_LIST(out_v); ++w) {
DIGRAPHS_ASSERT(gp_VertexInRange(theGraph, w));
int u = INT_INTOBJ(ELM_LIST(out_v, w));
if (v != u) {
status = gp_AddEdge(theGraph, v, 0, u, 0);
if (status != OK) {
// Cannot currently test this, i.e. it shouldn't happen (and
// currently there is no example where it does happen)
gp_Free(&theGraph);
ErrorQuit("Digraphs: boyers_planarity_check (C): internal error, "
"can't add edge from %d to %d",
(Int) v,
(Int) u);
return 0L;
}
}
}
}
status = gp_Embed(theGraph, flags);
if (status == NOTOK) {
// Cannot currently test this, i.e. it shouldn't happen (and
// currently there is no example where it does happen)
gp_Free(&theGraph);
ErrorQuit("Digraphs: boyers_planarity_check (C): status is not ok", 0L, 0L);
}
Obj res;
if (krtwsk) {
// Kuratowski subgraph isolator
gp_SortVertices(theGraph);
Obj subgraph = NEW_PLIST_IMM(T_PLIST, theGraph->N);
SET_LEN_PLIST(subgraph, theGraph->N);
for (int i = 1; i <= theGraph->N; ++i) {
int nr = 0;
Obj list = NEW_PLIST_IMM(T_PLIST, 0);
int j = theGraph->V[i].link[1];
while (j) {
if (CALL_3ARGS(IsDigraphEdge,
digraph,
INTOBJ_INT((Int) i),
INTOBJ_INT((Int) theGraph->E[j].neighbor))
== True) {
AssPlist(list, ++nr, INTOBJ_INT(theGraph->E[j].neighbor));
}
j = theGraph->E[j].link[1];
}
if (nr == 0) {
RetypeBag(list, T_PLIST_EMPTY);
}
SET_ELM_PLIST(subgraph, i, list);
CHANGED_BAG(subgraph);
}
res = NEW_PLIST_IMM(T_PLIST, 2);
SET_LEN_PLIST(res, 2);
SET_ELM_PLIST(res, 1, (status == NONEMBEDDABLE ? False : True));
SET_ELM_PLIST(res, 2, subgraph);
CHANGED_BAG(res);
} else if (status == NONEMBEDDABLE) {
res = False;
} else {
res = True;
}
gp_Free(&theGraph);
return res;
}
/* handler for function 2 */
static Obj HdlrFunc2 (
Obj self )
{
Obj t_1 = 0;
Obj t_2 = 0;
Obj t_3 = 0;
Obj t_4 = 0;
Obj t_5 = 0;
Obj t_6 = 0;
Bag oldFrame;
/* allocate new stack frame */
SWITCH_TO_NEW_FRAME(self,0,0,oldFrame);
/* Print( 1, "\n" ); */
t_1 = GF_Print;
t_2 = MakeString( "\n" );
CALL_2ARGS( t_1, INTOBJ_INT(1), t_2 );
/* Print( "abc", "\n" ); */
t_1 = GF_Print;
t_2 = MakeString( "abc" );
t_3 = MakeString( "\n" );
CALL_2ARGS( t_1, t_2, t_3 );
/* Print( (1,2)(5,6), "\n" ); */
t_1 = GF_Print;
t_2 = IdentityPerm;
t_4 = NEW_PLIST( T_PLIST, 2 );
SET_LEN_PLIST( t_4, 2 );
t_3 = NEW_PLIST( T_PLIST, 2 );
SET_LEN_PLIST( t_3, 2 );
SET_ELM_PLIST( t_4, 1, t_3 );
CHANGED_BAG( t_4 );
SET_ELM_PLIST( t_3, 1, INTOBJ_INT(1) );
CHANGED_BAG( t_3 );
SET_ELM_PLIST( t_3, 2, INTOBJ_INT(2) );
CHANGED_BAG( t_3 );
t_3 = NEW_PLIST( T_PLIST, 2 );
SET_LEN_PLIST( t_3, 2 );
SET_ELM_PLIST( t_4, 2, t_3 );
CHANGED_BAG( t_4 );
SET_ELM_PLIST( t_3, 1, INTOBJ_INT(5) );
CHANGED_BAG( t_3 );
SET_ELM_PLIST( t_3, 2, INTOBJ_INT(6) );
CHANGED_BAG( t_3 );
t_2 = Array2Perm( t_4 );
t_3 = MakeString( "\n" );
CALL_2ARGS( t_1, t_2, t_3 );
/* Print( [ 1, "abc" ], "\n" ); */
t_1 = GF_Print;
t_2 = NEW_PLIST( T_PLIST, 2 );
SET_LEN_PLIST( t_2, 2 );
SET_ELM_PLIST( t_2, 1, INTOBJ_INT(1) );
t_3 = MakeString( "abc" );
SET_ELM_PLIST( t_2, 2, t_3 );
CHANGED_BAG( t_2 );
t_3 = MakeString( "\n" );
CALL_2ARGS( t_1, t_2, t_3 );
/* Print( Group( (1,2,3) ), "\n" ); */
t_1 = GF_Print;
t_3 = GF_Group;
t_4 = IdentityPerm;
t_6 = NEW_PLIST( T_PLIST, 1 );
SET_LEN_PLIST( t_6, 1 );
t_5 = NEW_PLIST( T_PLIST, 3 );
SET_LEN_PLIST( t_5, 3 );
SET_ELM_PLIST( t_6, 1, t_5 );
CHANGED_BAG( t_6 );
SET_ELM_PLIST( t_5, 1, INTOBJ_INT(1) );
CHANGED_BAG( t_5 );
SET_ELM_PLIST( t_5, 2, INTOBJ_INT(2) );
CHANGED_BAG( t_5 );
SET_ELM_PLIST( t_5, 3, INTOBJ_INT(3) );
CHANGED_BAG( t_5 );
t_4 = Array2Perm( t_6 );
t_2 = CALL_1ARGS( t_3, t_4 );
CHECK_FUNC_RESULT( t_2 )
t_3 = MakeString( "\n" );
CALL_2ARGS( t_1, t_2, t_3 );
/* return; */
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
/* return; */
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
}
/* handler for function 4 */
static Obj HdlrFunc4 (
Obj self )
{
Obj t_1 = 0;
Obj t_2 = 0;
Obj t_3 = 0;
Obj t_4 = 0;
Obj t_5 = 0;
Bag oldFrame;
/* allocate new stack frame */
SWITCH_TO_NEW_FRAME(self,0,0,oldFrame);
/* BreakOnError := false; */
t_1 = False;
AssGVar( G_BreakOnError, t_1 );
/* CALL_WITH_CATCH( range2, [ 1, 2 ^ 80 ] ); */
t_1 = GF_CALL__WITH__CATCH;
t_2 = GC_range2;
CHECK_BOUND( t_2, "range2" )
t_3 = NEW_PLIST( T_PLIST, 2 );
SET_LEN_PLIST( t_3, 2 );
SET_ELM_PLIST( t_3, 1, INTOBJ_INT(1) );
t_4 = POW( INTOBJ_INT(2), INTOBJ_INT(80) );
SET_ELM_PLIST( t_3, 2, t_4 );
CHANGED_BAG( t_3 );
CALL_2ARGS( t_1, t_2, t_3 );
/* CALL_WITH_CATCH( range2, [ - 2 ^ 80, 0 ] ); */
t_1 = GF_CALL__WITH__CATCH;
t_2 = GC_range2;
CHECK_BOUND( t_2, "range2" )
t_3 = NEW_PLIST( T_PLIST, 2 );
SET_LEN_PLIST( t_3, 2 );
t_5 = POW( INTOBJ_INT(2), INTOBJ_INT(80) );
C_AINV_FIA( t_4, t_5 )
SET_ELM_PLIST( t_3, 1, t_4 );
CHANGED_BAG( t_3 );
SET_ELM_PLIST( t_3, 2, INTOBJ_INT(0) );
CALL_2ARGS( t_1, t_2, t_3 );
/* CALL_WITH_CATCH( range3, [ 1, 2, 2 ^ 80 ] ); */
t_1 = GF_CALL__WITH__CATCH;
t_2 = GC_range3;
CHECK_BOUND( t_2, "range3" )
t_3 = NEW_PLIST( T_PLIST, 3 );
SET_LEN_PLIST( t_3, 3 );
SET_ELM_PLIST( t_3, 1, INTOBJ_INT(1) );
SET_ELM_PLIST( t_3, 2, INTOBJ_INT(2) );
t_4 = POW( INTOBJ_INT(2), INTOBJ_INT(80) );
SET_ELM_PLIST( t_3, 3, t_4 );
CHANGED_BAG( t_3 );
CALL_2ARGS( t_1, t_2, t_3 );
/* CALL_WITH_CATCH( range3, [ - 2 ^ 80, 0, 1 ] ); */
t_1 = GF_CALL__WITH__CATCH;
t_2 = GC_range3;
CHECK_BOUND( t_2, "range3" )
t_3 = NEW_PLIST( T_PLIST, 3 );
SET_LEN_PLIST( t_3, 3 );
t_5 = POW( INTOBJ_INT(2), INTOBJ_INT(80) );
C_AINV_FIA( t_4, t_5 )
SET_ELM_PLIST( t_3, 1, t_4 );
CHANGED_BAG( t_3 );
SET_ELM_PLIST( t_3, 2, INTOBJ_INT(0) );
SET_ELM_PLIST( t_3, 3, INTOBJ_INT(1) );
CALL_2ARGS( t_1, t_2, t_3 );
/* CALL_WITH_CATCH( range3, [ 0, 2 ^ 80, 2 ^ 81 ] ); */
t_1 = GF_CALL__WITH__CATCH;
t_2 = GC_range3;
CHECK_BOUND( t_2, "range3" )
t_3 = NEW_PLIST( T_PLIST, 3 );
SET_LEN_PLIST( t_3, 3 );
SET_ELM_PLIST( t_3, 1, INTOBJ_INT(0) );
t_4 = POW( INTOBJ_INT(2), INTOBJ_INT(80) );
SET_ELM_PLIST( t_3, 2, t_4 );
CHANGED_BAG( t_3 );
t_4 = POW( INTOBJ_INT(2), INTOBJ_INT(81) );
SET_ELM_PLIST( t_3, 3, t_4 );
CHANGED_BAG( t_3 );
CALL_2ARGS( t_1, t_2, t_3 );
/* Display( [ 1, 2 .. 2 ] ); */
t_1 = GF_Display;
t_2 = Range3Check( INTOBJ_INT(1), INTOBJ_INT(2), INTOBJ_INT(2) );
CALL_1ARGS( t_1, t_2 );
/* CALL_WITH_CATCH( range3, [ 2, 2, 2 ] ); */
t_1 = GF_CALL__WITH__CATCH;
t_2 = GC_range3;
CHECK_BOUND( t_2, "range3" )
t_3 = NEW_PLIST( T_PLIST, 3 );
SET_LEN_PLIST( t_3, 3 );
SET_ELM_PLIST( t_3, 1, INTOBJ_INT(2) );
SET_ELM_PLIST( t_3, 2, INTOBJ_INT(2) );
SET_ELM_PLIST( t_3, 3, INTOBJ_INT(2) );
CALL_2ARGS( t_1, t_2, t_3 );
/* Display( [ 2, 4 .. 6 ] ); */
t_1 = GF_Display;
t_2 = Range3Check( INTOBJ_INT(2), INTOBJ_INT(4), INTOBJ_INT(6) );
CALL_1ARGS( t_1, t_2 );
/* CALL_WITH_CATCH( range3, [ 2, 4, 7 ] ); */
t_1 = GF_CALL__WITH__CATCH;
t_2 = GC_range3;
CHECK_BOUND( t_2, "range3" )
t_3 = NEW_PLIST( T_PLIST, 3 );
SET_LEN_PLIST( t_3, 3 );
SET_ELM_PLIST( t_3, 1, INTOBJ_INT(2) );
SET_ELM_PLIST( t_3, 2, INTOBJ_INT(4) );
SET_ELM_PLIST( t_3, 3, INTOBJ_INT(7) );
CALL_2ARGS( t_1, t_2, t_3 );
/* Display( [ 2, 4 .. 2 ] ); */
t_1 = GF_Display;
t_2 = Range3Check( INTOBJ_INT(2), INTOBJ_INT(4), INTOBJ_INT(2) );
CALL_1ARGS( t_1, t_2 );
/* Display( [ 2, 4 .. 0 ] ); */
t_1 = GF_Display;
t_2 = Range3Check( INTOBJ_INT(2), INTOBJ_INT(4), INTOBJ_INT(0) );
CALL_1ARGS( t_1, t_2 );
/* CALL_WITH_CATCH( range3, [ 4, 2, 1 ] ); */
t_1 = GF_CALL__WITH__CATCH;
t_2 = GC_range3;
CHECK_BOUND( t_2, "range3" )
t_3 = NEW_PLIST( T_PLIST, 3 );
SET_LEN_PLIST( t_3, 3 );
SET_ELM_PLIST( t_3, 1, INTOBJ_INT(4) );
SET_ELM_PLIST( t_3, 2, INTOBJ_INT(2) );
SET_ELM_PLIST( t_3, 3, INTOBJ_INT(1) );
CALL_2ARGS( t_1, t_2, t_3 );
/* Display( [ 4, 2 .. 0 ] ); */
t_1 = GF_Display;
t_2 = Range3Check( INTOBJ_INT(4), INTOBJ_INT(2), INTOBJ_INT(0) );
CALL_1ARGS( t_1, t_2 );
/* Display( [ 4, 2 .. 8 ] ); */
t_1 = GF_Display;
t_2 = Range3Check( INTOBJ_INT(4), INTOBJ_INT(2), INTOBJ_INT(8) );
CALL_1ARGS( t_1, t_2 );
/* return; */
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
/* return; */
SWITCH_TO_OLD_FRAME(oldFrame);
return 0;
}
