df/da7/squared__norm_8hpp_source.html

#pragma once


#include "internal/symbolic_ast.hpp"

#include <array>


namespace LMCAS::detail {


/** Recognize real-numeric norm forms without evaluating their squares. */

std::array<const PowerNode*, 2> squared_norm_terms(const SymbolicNode& root);


}

LMCAS::detail
多元 Hensel 提升（单变量步）
定义 assumption_context.hpp:31

LMCAS::detail::squared_norm_terms
std::array< const PowerNode *, 2 > squared_norm_terms(const SymbolicNode &root)
Recognize real-numeric norm forms without evaluating their squares.
定义 squared_norm.cpp:45

symbolic_ast.hpp
内部 AST 定义。