गणित

Question

में f @ expr और expr // f का उपयोग करके विभिन्न परिणाम मैं Prefix और Postfix ऑपरेटरों (@ और // क्रमशः क्रमशः) के साथ खेल रहा था और मैं निम्नलिखित समस्या में भाग गया।

को देखते हुए निम्नलिखित कोड है, वे एक ही सटीक तरीके से मूल्यांकन:

Hold[MatrixPlot@Sort@data] // FullForm 
(* Hold[MatrixPlot[Sort[data]]] *) 

Hold[data // Sort // MatrixPlot] // FullForm 
(* Hold[MatrixPlot[Sort[data]]] *) 

हालांकि, निम्नलिखित भाव को देखते हुए, मैं अलग परिणाम प्राप्त:

FunctionExpand@Abs'[0] 
(* Abs'[0] *) 

Abs'[0] // FunctionExpand 
(* 0 *) 

मैं वास्तव में काफी यकीन नहीं है यह क्यों है कोड के दर्जनों अन्य स्निपेट में, f@expr, expr // f, और f[expr] सभी एक ही परिणाम का मूल्यांकन करते हैं। यह एक विशेष मामला यह परिणाम क्यों देता है?

Answer 1

यह एक प्राथमिकता मुद्दा है। // की तुलना में @ की प्राथमिकता है। यह देखने के लिए कि क्या हो रहा है, कर्सर को दोनों मामलों में FunctionExpand पर रखें, फिर cmd +। (ओएस एक्स पर) या ctrl +। किसी और चीज पर, और आप चीजों को प्राथमिकता से चुनते हैं।

एक और तरीका है देखने के लिए यह Trace उपयोग करने के लिए है:

FunctionExpand@Abs'[0] // Trace 
(* 
-> {{{FunctionExpand[Abs],Abs},Abs^\[Prime]},(Abs^\[Prime])[0]} 
*) 

जबकि

Abs'[0] // FunctionExpand//Trace 
(* 
-> {FunctionExpand[(Abs^\[Prime])[0]],0} 
*) 

विशेष रूप से, ध्यान दें कि किस पहला मामला एमएमए में पहली FunctionExpand[Abs] मूल्यांकन करता है,, Abs प्राप्त तो जारी है। की तुलना में यह @ बाध्यता के कारण ठीक है।

संपादित करें: द्वारा @ लियोनिद की टिप्पणी प्रेरित होकर, यह भी जानकारीपूर्ण है:

Hold[FunctionExpand@Abs'[0]] // FullForm 
Hold[Abs'[0] // FunctionExpand] // FullForm 
(* 
-> Hold[Derivative[1][FunctionExpand[Abs]][0]] 
    Hold[FunctionExpand[Derivative[1][Abs][0]]] 
*) 

जो क्या चल रहा है की एक बहुत अच्छा प्रदर्शन है।