Norm - Maple Help

evala/Norm

norm of an algebraic number (or function) Calling Sequence Norm(a, L, K) Parameters

 a - any expression L - (optional) set of RootOfs K - (optional) set of RootOfs Description

 • The Norm function is a placeholder for representing the norm of an algebraic number (or function), that is the product of its conjugates. It is used in conjunction with evala.
 • The call evala(Norm(a, L, K)) computes the norm of a over the algebraic number (or function) field represented by K. In case K is not specified and a is an algebraic number, the norm over the rational is computed. In case K is not specified and a is an algebraic function, the smallest possible algebraic extension of the rational numbers is chosen. The expression a is viewed as an element of the smallest field containing a and the RootOfs in L.
 • The RootOfs in K must form a subset of the RootOfs occurring in L and in a. In other words, K must be a 'syntactic' subfield of the field generated by L and the RootOfs in a. Examples

 > $\mathrm{alias}\left(\mathrm{sqrt2}=\mathrm{RootOf}\left({x}^{2}-2\right)\right):$
 > $\mathrm{alias}\left(\mathrm{\alpha }=\mathrm{RootOf}\left({y}^{2}-x+\mathrm{RootOf}\left({x}^{2}-2\right),y\right)\right):$
 > $\mathrm{evala}\left(\mathrm{Norm}\left(\mathrm{\alpha }\right)\right)$
 ${{x}}^{{2}}{-}{2}$ (1)
 > $\mathrm{evala}\left(\mathrm{Norm}\left(\mathrm{\alpha },\varnothing ,\mathrm{sqrt2}\right)\right)$
 ${\mathrm{sqrt2}}{-}{x}$ (2)
 > $\mathrm{evala}\left(\mathrm{Norm}\left(z-\mathrm{\alpha }\right)\right)$
 ${{z}}^{{4}}{-}{2}{}{x}{}{{z}}^{{2}}{+}{{x}}^{{2}}{-}{2}$ (3)

The name Norm must be global.

 > $\mathrm{with}\left(\mathrm{LinearAlgebra}\right):$
 > $\mathrm{evala}\left(\mathrm{Norm}\left(z-\mathrm{\alpha }\right)\right)$
 > $\mathrm{evala}\left(:-\mathrm{Norm}\left(z-\mathrm{\alpha }\right)\right)$
 ${{z}}^{{4}}{-}{2}{}{x}{}{{z}}^{{2}}{+}{{x}}^{{2}}{-}{2}$ (4)
{"ft_lang_label":"__label__en","ft_lang_prob":0.8336446,"math_prob":0.9999639,"size":1432,"snap":"2021-43-2021-49","text_gpt3_token_len":440,"char_repetition_ratio":0.12675071,"word_repetition_ratio":0.07964602,"special_character_ratio":0.22206704,"punctuation_ratio":0.1010101,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9988813,"pos_list":[0,1,2,3,4,5,6,7,8,9,10],"im_url_duplicate_count":[null,null,null,null,null,null,null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-12-05T04:29:20Z\",\"WARC-Record-ID\":\"<urn:uuid:78e0b8f5-1b7c-4ad2-80c0-65f95a129859>\",\"Content-Length\":\"190347\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:8cc3214c-d4f4-4e37-8f53-56c8d52d199d>\",\"WARC-Concurrent-To\":\"<urn:uuid:5dad6762-1752-4f16-8355-f89ade879cf8>\",\"WARC-IP-Address\":\"199.71.183.28\",\"WARC-Target-URI\":\"https://de.maplesoft.com/support/help/Maple/view.aspx?path=evala/Norm\",\"WARC-Payload-Digest\":\"sha1:LSRYKWOJH5XFQVDEIL665FLPJHYWYSFJ\",\"WARC-Block-Digest\":\"sha1:3OAAL5SQGPM6HKHXJ2WJCUIZ7LQZNKQW\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-49/CC-MAIN-2021-49_segments_1637964363135.71_warc_CC-MAIN-20211205035505-20211205065505-00020.warc.gz\"}"}