{ "_meta": { "locale": "zh-CN", "area": "compile_view", "translation": "machine-assisted: to be reviewed by a fluent reader before it is advertised" }, "compile_view.col_gates": "门", "compile_view.col_cnots": "CNOT", "compile_view.col_rotations": "旋转门", "compile_view.basis_label": "门集", "compile_view.basis_title": "编译所用的门集。Clifford+T:每个旋转门都写成误差在 ε 以内的 Clifford+T 门序列。标准门:任意角度的标准门,不做任何近似", "compile_view.standard": "标准门", "compile_view.level_label": "级别", "compile_view.level_title": "0:降低到基本门并作近似;1:另加经检查的重写和相位折叠;2:再加单、双量子比特重合成", "compile_view.level_option": "级别 {level}", "compile_view.eps_title": "输出与程序之间允许的最大差异:算子范数,不计全局相位,由各旋转门分摊", "compile_view.compile": "编译", "compile_view.compile_title": "让程序经过引擎的各遍处理,每一遍都经过检查,并附有签名的证书", "compile_view.heading": "编译", "compile_view.caption": "{pass} 之后(第 {number}/{of} 遍):{gates} 个门,{cnots} 个 CNOT,{t} 个 T 门,{rotations} 个旋转门{partial}。", "compile_view.caption_partial": ";只画出了 {total} 列中的前 {drawn} 列", "compile_view.draw_title": "画出这一遍之后的线路", "compile_view.spent_one": "{n} 个旋转门,每个 {each}", "compile_view.spent_other": "{n} 个旋转门,每个 {each}", "compile_view.nothing_approximated": "没有任何近似", "compile_view.whole": "整个输出与程序对照测得的距离:{distance}。", "compile_view.use": "使用", "compile_view.use_title": "把编译后的程序作为建议提交审阅", "compile_view.offer_note": "已在级别 {level} 编译为“{basis}”:与程序的距离不超过 {bound}(预算 {budget}),{t} 个 T 门;每一遍都经过检查。", "compile_view.the_standard_gates": "标准门", "compile_view.verdict_approximate": "近似", "compile_view.verdict_exact": "精确", "compile_view.verdict_proved": "已证明", "compile_view.summary": "{verdict}:与程序的距离不超过 {bound},不计全局相位(预算 {budget};{spent})。{whole}{certificate}", "compile_view.cert_verifies": "证书验证通过。", "compile_view.cert_fails": "证书未通过验证。", "compile_view.col_pass": "遍", "compile_view.col_check": "检查", "compile_view.note": "选择一遍,即可画出它之后的线路。检查结果为 proof(精确的环算术,以整八分之一为单位的相位多项式)、exact(等于双精度浮点数的舍入)或 approximate(附其距离);各距离之和即为上界。", "compile_view.bad_eps": "ε 是一个正数,例如 1e-6。", "compile_view.compiling": "正在编译:每一遍都随即检查…", "compile_view.stale": "这是针对程序较早版本的结果:请重新编译。" }