refinement_generic.pxd

#*******************************************************************************
#       Copyright (C) 2012 Thomas Feulner <[email protected]>
#
#  Distributed under the terms of the GNU General Public License (GPL)
#  as published by the Free Software Foundation; either version 2 of
#  the License, or (at your option) any later version.
#                  http://www.gnu.org/licenses/
#*******************************************************************************

include 'sage/groups/perm_gps/partn_ref/data_structures_pxd.pxi'

from sage.libs.gap.element cimport GapElement, GapElement_Permutation

cdef extern from "sage/groups/perm_gps/partn_ref2/refinement_generic.h":
    cdef long *global_refine_vals_array
    cdef int my_comp_func(void *a, void *b)
    cdef int BACKTRACK_WITHLATEX_DEBUG

cdef extern from *:
    void *qsort(void *base, size_t nmemb, size_t size,
                  int(*compar)(void *, void *))

cdef tuple PS_refinement(PartitionStack * part, long *refine_vals, long *best, 
                         int begin, int end,
                         bint * cand_initialized, bint *changed_partition)

cdef class _BestValStore:
    cdef int default_data_length
    cdef int storage_length
    cdef long *values
    cdef long * get_row(self, int i)

cdef class LabelledBranching:
    cdef int n
    cdef int count
    cdef int *father, *act_perm
    cpdef GapElement group, ClosureGroup
    cdef bint has_empty_intersection(self, PartitionStack * part)
    cpdef add_gen(self, GapElement_Permutation gen)

cdef class PartitionRefinement_generic:
    cdef PartitionStack * _part
    cdef list _inner_min_order_best
    cdef list _fixed_minimized
    cdef list _fixed_not_minimized
    cdef int _n
    cdef long* _refine_vals_scratch
    cdef bint _is_candidate_initialized
    cdef list _allowance_best
    cdef int _nr_of_inner_min_unmin_calls

    cdef LabelledBranching _known_automorphisms
    cdef GapElement_Permutation _to_best, _to_best_inverse

    # the following allow us to debug the program via latex
    cdef object _latex_debug_string
    cdef void _init_latex(self)
    cdef void _finish_latex(self)
    cdef void _latex_new_lvl(self)
    cdef void _latex_finish_lvl(self)

     # methods which have to be implemented in derived classes
    cdef bint _inner_min_(self, int pos, bint* inner_group_changed)
    cdef bint _refine(self, bint *part_changed, bint inner_group_changed, bint first_step)
    cdef tuple _store_state_(self)
    cdef void _restore_state_(self, tuple act_state)
    cdef void _store_best_(self)
    cdef bint _minimization_allowed_on_col(self, int pos)
    cdef void _latex_act_node(self, str comment=*, int printlvl=*) # only if you want to allow
                                            # some debugging output

    # methods used in the main algorithm
    cdef void _init_partition_stack(self, list partition)
    cdef void _start_Sn_backtrack(self)
    cdef void _backtrack(self, bint first_step=?)
    cdef void _leaf_computations(self)
    cdef bint _cut_by_known_automs(self)
    cdef bint _inner_min_unminimized(self, bint *inner_group_changed)
    cdef bint _one_refinement(self, long *best, int begin, int end,
                              bint* inner_group_changed, bint* changed_partition,
                              str refine_name)
    cdef int len(self)