Example #1
0
    def transform_to_standard_context(self, context):
        """Create standard context from current."""

        #         print('Generate the standard context of \''+context.context_name+'\'')
        if context.mode == Context.standard:
            return context
        standard_context = Context(context.context_name)
        standard_context.J = copy(context.get_irreductibles_infs(False))
        standard_context.M = copy(context.get_irreductibles_sups(False))
        for i in context.I:
            if (i[0] in standard_context.J) and (i[1] in standard_context.M):
                standard_context.add_i(i[0], i[1])
        standard_context.mode = Context.standard
        return standard_context