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