上同调运算

应用支持 Steenrod 平方运算 Sq^i，可输入上同调类、维度与指数完成计算，并展示详细推导步骤与历史记录；可对阿德姆关系进行验证，自动计算模 2 二项式系数并展开关系式，内置典型示例便于快速核验。提供上同调环结构分析，支持自由环、多项式环、外代数等类型，可基于空间维度与生成元完成结构判定。同时实现 Steenrod 代数模运算，支持作用、张量运算及 Ext、Tor 群计算，标注模的基本性质并参考 Milnor 基。此外集成阻碍理论计算与向量丛分类功能，可计算各类拓扑阻碍类，求解实 / 复向量丛与主丛，自动生成 Stiefel-Whitney、Chern、Pontryagin 等示性类.